SUMO View all facts Glossary Help| 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 |