Entity Comparison Table

Entity

Next kbTop: synonym Up: kbTop Previous kbTop: unparented

Entity comparison table

Subject documentation be disjoint from be second domain of be first domain of have axiom

Abstract 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 representsInLanguage relatedInternalConcept
(<=>
(instance ?ABS Abstract)
(not
(exists (?POINT)
(or
(located ?ABS ?POINT)
(existant ?ABS ?POINT)))))

Physical An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-tim distance WhereFn
(=>
(and
(holdsDuring ?INTERVAL (holds ?REL ?INST1 ?INST2))
(temporalPart ?POINT ?INTERVAL)
(instance ?INST1 Physical)
(instance ?INST2 Physical))
(and
(existant ?INST1 ?POINT)
(existant ?INST2 ?POINT)))

Subject	documentation	be disjoint from	be second domain of	be first domain of	have axiom
Abstract	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	representsInLanguage	relatedInternalConcept	(<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))
Physical	An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-tim		distance	WhereFn	(=> (and (holdsDuring ?INTERVAL (holds ?REL ?INST1 ?INST2)) (temporalPart ?POINT ?INTERVAL) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (existant ?INST1 ?POINT) (existant ?INST2 ?POINT)))

Next kbTop: synonym Up: kbTop Previous kbTop: unparented