Physical Comparison Table

Entity > Physical

Next Entity: Abstract Up: Entity

Physical comparison table

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

Object connects 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 Process wants uses
(=>
(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))))))

Process Intuitively, the class of things that happen rather than endure. A Process is thought of as having temporal parts or stages, and so it cannot have all these parts together at one time (contrast Object). Examples include extended 'events' such as a football match or a race, events and actions of various kinds, states of motion and lifespans of Objects, which occupy the same space and time but are thought of as having stages instead of parts. The formal definition is: anything that lasts for a time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis subProcess subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Subject	be third domain of	documentation	be disjoint from	be second domain of	be first domain of	have axiom
Object	connects	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	Process	wants	uses	(=> (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))))))
Process		Intuitively, the class of things that happen rather than endure. A Process is thought of as having temporal parts or stages, and so it cannot have all these parts together at one time (contrast Object). Examples include extended 'events' such as a football match or a race, events and actions of various kinds, states of motion and lifespans of Objects, which occupy the same space and time but are thought of as having stages instead of parts. The formal definition is: anything that lasts for a time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis		subProcess	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))

Next Entity: Abstract Up: Entity