SUMO   View all facts   Glossary   Help
Entity > Physical > Object
Next PhysicalProcess    UpPhysical

Object
subjectfact 
Objectdocumentation Corresponds roughly to the class of ordinary physical objects. An Object is thought of as continuing through time, but at any particular time is all there is at that time, in contrast to something that is thought of as being divided into stages (contrast Process). Examples include normal physical objects, geographical regions, and locations of Processes. The formal definition is that all the parts of an Object are present at the same time that the Object is; in other words, an Object cannot have 'parts' which are separated in time, such as the first and second halves of a football game. Note that the parts of an Object may change from time to time, and that every Object occupies exactly the same space and time as a Process (its lifespan). In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time-axis2001-11-30 13:34:50.0
has axiom
(=> 
(instance ?OBJ Object)
(exists (?TIME1 ?TIME2)
(and
(instance ?TIME1 TimePoint)
(instance ?TIME2 TimePoint)
(before ?TIME1 ?TIME2)
(forall (?TIME)
(=>
(and
(beforeEq ?TIME1 ?TIME)
(beforeEq ?TIME ?TIME2))
(existant ?OBJ ?TIME))))))
2001-11-30 13:34:50.0
is disjoint from Process2001-11-30 13:34:50.0
is first domain of attribute2001-11-30 13:34:50.0
is first domain of between2001-11-30 13:34:50.0
is first domain of connected2001-11-30 13:34:50.0
is first domain of connects2001-11-30 13:34:50.0
is first domain of copy2001-11-30 13:34:50.0
is first domain of exploits2001-11-30 13:34:50.0
is first domain of fills2001-11-30 13:34:50.0
is first domain of larger2001-11-30 13:34:50.0
is first domain of measure2001-11-30 13:34:50.0
is first domain of MereologicalDifferenceFn2001-11-30 13:34:50.0
is first domain of MereologicalProductFn2001-11-30 13:34:50.0
is first domain of MereologicalSumFn2001-11-30 13:34:50.0
is first domain of orientation2001-11-30 13:34:50.0
is first domain of partiallyFills2001-11-30 13:34:50.0
is first domain of partlyLocated2001-11-30 13:34:50.0
is first domain of position2001-11-30 13:34:50.0
is first domain of properlyFills2001-11-30 13:34:50.0
is first domain of smaller2001-11-30 13:34:50.0
is first domain of uses2001-11-30 13:34:50.0
is second domain of between2001-11-30 13:34:50.0
is second domain of connected2001-11-30 13:34:50.0
is second domain of connects2001-11-30 13:34:50.0
is second domain of copy2001-11-30 13:34:50.0
is second domain of effector2001-11-30 13:34:50.0
is second domain of hole2001-11-30 13:34:50.0
is second domain of inhabits2001-11-30 13:34:50.0
is second domain of instrument2001-11-30 13:34:50.0
is second domain of larger2001-11-30 13:34:50.0
is second domain of located2001-11-30 13:34:51.0
is second domain of MereologicalDifferenceFn2001-11-30 13:34:51.0
is second domain of MereologicalProductFn2001-11-30 13:34:51.0
is second domain of MereologicalSumFn2001-11-30 13:34:51.0
is second domain of needs2001-11-30 13:34:51.0
is second domain of orientation2001-11-30 13:34:51.0
is second domain of origin2001-11-30 13:34:51.0
is second domain of position2001-11-30 13:34:51.0
is second domain of possesses2001-11-30 13:34:51.0
is second domain of resource2001-11-30 13:34:51.0
is second domain of result2001-11-30 13:34:51.0
is second domain of smaller2001-11-30 13:34:51.0
is second domain of wants2001-11-30 13:34:51.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0
is a kind of Physical2001-11-30 13:34:51.0

Kinds of Object :

Next PhysicalProcess    UpPhysical