SUMO View all facts Glossary Help |
kbTop |
kbTop comparison table |
Subject | documentation | is a kind of | be second domain of | be first domain of | have axiom |
---|---|---|---|---|---|
Entity | The universal class of individuals. This is the root node of the ontology | kbTop | representsInLanguage | relatedInternalConcept | (forall (?THING) (instance ?THING Entity)) |
synonym | |||||
unparented |