Process Comparison Table

Next Physical: Object Up: Physical

Process comparison table

Subject have relatedInternalConcept documentation be disjoint from is a kind of be first domain of have axiom

Attaching Putting A Process where the agent attaches one thing to something else. Note that this is different from Putting in that two things which are attached may already be in the same location Detaching Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Closing The Class of Processes where an aperture is closed in an Object Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Combining A Process where two or more things are combined into a single thing Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Communication A SocialInteraction that involves the transfer of information between two Agents via a ContentBearingObject NonintentionalProcess SocialInteraction subProcess
(=>
(instance ?ACTION Communication)
(exists (?OBJ)
(and
(instance ?OBJ ContentBearingObject)
(patient ?ACTION ?OBJ))))

Competition A Process where the agent and patient are Agents who are trying to defeat one another. The Agents need not be CognitiveAgents. For example, the struggle of plants for space or sunlight, or of bacteria for food resources in some environment would be instances of Competition Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Covering The Class of Processes where the agent covers the patient, either completely or only partially, with something else Process subProcess
(=>
(and
(instance ?COVER Covering)
(patient ?COVER ?OBJ))
(exists (?CONCEAL ?PART)
(and
(instance ?CONCEAL Concealing)
(subProcess ?CONCEAL ?COVER)
(part ?PART ?OBJ)
(patient ?CONCEAL ?PART))))

Creation The subclass of Process in which something is created. Note that the thing created is specified with the result CaseRole Process subProcess
(=>
(instance ?ACTION Creation)
(exists (?RESULT)
(result ?ACTION ?RESULT)))

Damaging The Class of Processes where the agent brings about a situation where the patient no longer functions normally or as intended Process subProcess
(<=>
(instance ?INJ Injuring)
(and
(instance ?INJ Damaging)
(patient ?INJ Organism)))

Decreasing Removing 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 Process subProcess
(=>
(and
(instance ?DECREASE Decreasing)
(patient ?DECREASE ?OBJ))
(exists (?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
(holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
(lessThan ?QUANT2 ?QUANT1))))

Destruction The subclass of Process in which the patient (or an essential element of the patient) is destroyed Process subProcess
(<=>
(instance ?PROCESS Destruction)
(exists (?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS)))
(not
(existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))

Detaching A Process where the agent detaches one thing from something else. Note that this is different from Removing in that neither of the two things which are detached may be removed from the location where it was attached Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Dressing The act of putting clothing on an Animal Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Drying The Class of Processes where water is removed from an Object Process subProcess
(=>
(and
(instance ?DRY Drying)
(patient ?DRY ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?DRY))
(or
(attribute ?OBJ Anhydrous)
(attribute ?OBJ Dry))))

Emitting Processes in which something is given off by something else Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Impacting The Class of Processes where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc Process subProcess
(=>
(and
(instance ?IMPACT Impacting)
(instrument ?IMPACT ?INST)
(patient ?IMPACT ?PLACE))
(holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))

Increasing Putting Any Process where a PhysicalQuantity associated with the patient is decreased Decreasing Process subProcess
(=>
(and
(instance ?INCREASE Increasing)
(patient ?INCREASE ?OBJ))
(exists (?UNIT ?QUANT1 ?QUANT2)
(and
(holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1))
(holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2))
(greaterThan ?QUANT2 ?QUANT1))))

IntentionalProcess A Process that is deliberately set in motion by a CognitiveAgent NonintentionalProcess Process subProcess
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

Motion Any Process of movement Process path
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(destination ?MOTION ?PLACE))
(holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))

NonintentionalProcess A Process that occurs irrespective of the intentions of Humans or Animals Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Opening Closing The Class of Processes where an aperture is created in an Object. Note that the aperture may be created intentionally, as when one opens a door, or unintentionally, as when the ground ruptures in a seismic event Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Separating A Process where something is disassembled into (some of) its parts Combining Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

ShapeAlteration The act of changing the shape of an Object Process subProcess
(=>
(and
(instance ?PROC ShapeAlteration)
(patient ?PROC ?OBJ))
(attribute ?OBJ Pliable))

SurfaceAlteration The act of changing the appearance of the surface of an Object Process subProcess
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))

Wetting The Class of Processes where Water is added to an Object Process subProcess
(=>
(and
(instance ?WET Wetting)
(patient ?WET ?OBJ))
(holdsDuring (ImmediateFutureFn (WhenFn ?WET))
(or
(attribute ?OBJ Wet)
(attribute ?OBJ Damp))))

Subject	have relatedInternalConcept	documentation	be disjoint from	is a kind of	be first domain of	have axiom
Attaching	Putting	A Process where the agent attaches one thing to something else. Note that this is different from Putting in that two things which are attached may already be in the same location	Detaching	Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Closing		The Class of Processes where an aperture is closed in an Object		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Combining		A Process where two or more things are combined into a single thing		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Communication		A SocialInteraction that involves the transfer of information between two Agents via a ContentBearingObject	NonintentionalProcess	SocialInteraction	subProcess	(=> (instance ?ACTION Communication) (exists (?OBJ) (and (instance ?OBJ ContentBearingObject) (patient ?ACTION ?OBJ))))
Competition		A Process where the agent and patient are Agents who are trying to defeat one another. The Agents need not be CognitiveAgents. For example, the struggle of plants for space or sunlight, or of bacteria for food resources in some environment would be instances of Competition		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Covering		The Class of Processes where the agent covers the patient, either completely or only partially, with something else		Process	subProcess	(=> (and (instance ?COVER Covering) (patient ?COVER ?OBJ)) (exists (?CONCEAL ?PART) (and (instance ?CONCEAL Concealing) (subProcess ?CONCEAL ?COVER) (part ?PART ?OBJ) (patient ?CONCEAL ?PART))))
Creation		The subclass of Process in which something is created. Note that the thing created is specified with the result CaseRole		Process	subProcess	(=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT)))
Damaging		The Class of Processes where the agent brings about a situation where the patient no longer functions normally or as intended		Process	subProcess	(<=> (instance ?INJ Injuring) (and (instance ?INJ Damaging) (patient ?INJ Organism)))
Decreasing	Removing	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		Process	subProcess	(=> (and (instance ?DECREASE Decreasing) (patient ?DECREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?DECREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (lessThan ?QUANT2 ?QUANT1))))
Destruction		The subclass of Process in which the patient (or an essential element of the patient) is destroyed		Process	subProcess	(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))
Detaching		A Process where the agent detaches one thing from something else. Note that this is different from Removing in that neither of the two things which are detached may be removed from the location where it was attached		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Dressing		The act of putting clothing on an Animal		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Drying		The Class of Processes where water is removed from an Object		Process	subProcess	(=> (and (instance ?DRY Drying) (patient ?DRY ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DRY)) (or (attribute ?OBJ Anhydrous) (attribute ?OBJ Dry))))
Emitting		Processes in which something is given off by something else		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Impacting		The Class of Processes where something comes into sudden, forceful, physical contact with something else. Some examples would be striking, knocking, whipping etc		Process	subProcess	(=> (and (instance ?IMPACT Impacting) (instrument ?IMPACT ?INST) (patient ?IMPACT ?PLACE)) (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))
Increasing	Putting	Any Process where a PhysicalQuantity associated with the patient is decreased	Decreasing	Process	subProcess	(=> (and (instance ?INCREASE Increasing) (patient ?INCREASE ?OBJ)) (exists (?UNIT ?QUANT1 ?QUANT2) (and (holdsDuring (ImmediatePastFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?INCREASE)) (equal (MeasureFn ?OBJ ?UNIT) ?QUANT2)) (greaterThan ?QUANT2 ?QUANT1))))
IntentionalProcess		A Process that is deliberately set in motion by a CognitiveAgent	NonintentionalProcess	Process	subProcess	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))
Motion		Any Process of movement		Process	path	(=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
NonintentionalProcess		A Process that occurs irrespective of the intentions of Humans or Animals		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Opening	Closing	The Class of Processes where an aperture is created in an Object. Note that the aperture may be created intentionally, as when one opens a door, or unintentionally, as when the ground ruptures in a seismic event		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Separating		A Process where something is disassembled into (some of) its parts	Combining	Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
ShapeAlteration		The act of changing the shape of an Object		Process	subProcess	(=> (and (instance ?PROC ShapeAlteration) (patient ?PROC ?OBJ)) (attribute ?OBJ Pliable))
SurfaceAlteration		The act of changing the appearance of the surface of an Object		Process	subProcess	(=> (instance ?PROCESS Process) (exists (?CAUSE) (effector ?PROCESS ?CAUSE)))
Wetting		The Class of Processes where Water is added to an Object		Process	subProcess	(=> (and (instance ?WET Wetting) (patient ?WET ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?WET)) (or (attribute ?OBJ Wet) (attribute ?OBJ Damp))))

Next Physical: Object Up: Physical