SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Combining
Next ProcessCommunication    UpProcess    Previous ProcessClosing   

Combining
subjectfact 
Combiningdocumentation A Process where two or more things are combined into a single thing2001-11-30 13:33:52.0
is a kind of Process2001-11-30 13:33:52.0
Processhas 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

Next ProcessCommunication    UpProcess    Previous ProcessClosing