Here's what I'm using as the starting point for SUMO (3 levels)
http://mKRmKE.org/kb/spo.sumo.html
My best guess so far is that you consider the "comment" attribute
to be the definition of each concept.
Here's the starting point for mKR (2 levels)
http://mKRmKE.org/kb/TabulaRasa.ho
I have genus-differentia definitions for everything, included in
http://mKRmKE.org/kb/tabrasa.def
http://mKRmKE.org/kb/ke.def
I have a rough idea of which tabula rasa concept maps to which
SUMO concept, but I need to do more checking. It took a while
before I got down far enough in SUMO to find out that a person
is called a Human.
If you get to using mKE, this question
concept isc**N ?;
prints N levels of the concept subhierarchy.
One of the most sophisticated commands of mKE is
hdo action from concept with path done;
which walks the hierarchy performing the action
at each concept it traverses. path options include
"alpha", which is a linear alphabetical list of all
concepts.
I also recommend
http://mKRmKE.org/help/mkrDictionary.txt
http://mKRmKE.org/help/mkeQuickReference.txt
which list mKR built-in words, and mKE built-in
commands and attributes (options).
Dick McCullough
http://mKRmKE.org/
Ayn Rand do speak od mKR done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
mKE do enhance od "Real Intelligence" done;