SUMO View all facts Glossary Help |
Entity |
Entity | ||||
subject | fact |
Entity | documentationThe universal class of individuals. This is the root node of the ontology | |
has axiom(<=> |
||
has axiom(equal NullSet (ComplementFn Entity)) | ||
has axiom(exists (?THING) (instance ?THING Entity)) | ||
has axiom(forall (?THING) (instance ?THING Entity)) | ||
is first domain of documentation | ||
is first domain of element | ||
is first domain of equal | ||
is first domain of IdentityFn | ||
is first domain of instance | ||
is first domain of relatedExternalConcept | ||
is first domain of relatedInternalConcept | ||
is second domain of destination | ||
is second domain of equal | ||
is second domain of identityElement | ||
is second domain of inScopeOfInterest | ||
is second domain of patient | ||
is second domain of refers | ||
is second domain of relatedInternalConcept | ||
is second domain of represents | ||
is second domain of representsForAgent | ||
is second domain of representsInLanguage | ||
is a kind of kbTop |
Kinds of Entity :
Next kbTop: synonym Up: kbTop Previous kbTop: unparented