SUMO   View all facts   Glossary   Help
Entity > Physical > Process
Next PhysicalObject    UpPhysical

Process
subjectfact 
Processdocumentation 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-axis2001-11-30 13:35:04.0
has axiom
(=> 
(instance ?PROC Process)
(exists (?SUBPROC)
(subProcess ?SUBPROC ?PROC)))
2001-11-30 13:35:04.0
has axiom
(=> 
(and
(instance ?PROC Process)
(subProcess ?SUBPROC ?PROC))
(exists (?TIME)
(existant ?SUBPROC ?TIME)))
2001-11-30 13:35:04.0
has axiom
(=>
(instance ?ARTIFACT Artifact)
(exists (?PROCESS)
(and
(instance ?PROCESS Process)
(result ?PROCESS ?ARTIFACT))))
2001-11-30 13:35:04.0
has axiom
(=>
(instance ?DEVICE Device)
(exists (?PROC)
(and
(instance ?PROC Process)
(instrument ?PROC ?DEVICE))))
2001-11-30 13:35:04.0
has axiom
(=>
(instance ?PROC1 Process)
(exists (?PROC2)
(causes ?PROC2 ?PROC1)))
2001-11-30 13:35:04.0
has axiom
(=>
(instance ?PROCESS Process)
(exists (?CAUSE)
(effector ?PROCESS ?CAUSE)))
2001-11-30 13:35:04.0
is first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0
is a kind of Physical2001-11-30 13:35:04.0

Kinds of Process :

Next PhysicalObject    UpPhysical