SUMO View all facts Glossary Help |
Entity > Physical > Object |
Object | ||||
subject | fact |
Object | documentation 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-axis | |
has axiom (=> | ||
is disjoint from Process | ||
is first domain of attribute | ||
is first domain of between | ||
is first domain of connected | ||
is first domain of connects | ||
is first domain of copy | ||
is first domain of exploits | ||
is first domain of fills | ||
is first domain of larger | ||
is first domain of measure | ||
is first domain of MereologicalDifferenceFn | ||
is first domain of MereologicalProductFn | ||
is first domain of MereologicalSumFn | ||
is first domain of orientation | ||
is first domain of partiallyFills | ||
is first domain of partlyLocated | ||
is first domain of position | ||
is first domain of properlyFills | ||
is first domain of smaller | ||
is first domain of uses | ||
is second domain of between | ||
is second domain of connected | ||
is second domain of connects | ||
is second domain of copy | ||
is second domain of effector | ||
is second domain of hole | ||
is second domain of inhabits | ||
is second domain of instrument | ||
is second domain of larger | ||
is second domain of located | ||
is second domain of MereologicalDifferenceFn | ||
is second domain of MereologicalProductFn | ||
is second domain of MereologicalSumFn | ||
is second domain of needs | ||
is second domain of orientation | ||
is second domain of origin | ||
is second domain of position | ||
is second domain of possesses | ||
is second domain of resource | ||
is second domain of result | ||
is second domain of smaller | ||
is second domain of wants | ||
is third domain of between | ||
is third domain of capability | ||
is third domain of connects | ||
is a kind of Physical |
Kinds of Object :