SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Detaching
Next ProcessDressing    UpProcess    Previous ProcessDestruction   

Detaching
subjectfact 
Detachingdocumentation 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 attached2001-11-30 13:34:02.0
is a kind of Process2001-11-30 13:34:02.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

Kinds of Detaching :

Next ProcessDressing    UpProcess    Previous ProcessDestruction