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 (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
	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 :

• Abstract (495 kinds, 2998 facts) - Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment
• Physical (275 kinds, 1069 facts) - An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-tim

Next kbTop: synonym    Up: kbTop    Previous kbTop: unparented