SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > subProcess
Next BinaryPredicatesubrelation    UpBinaryPredicate, PartialOrderingRelation    Previous BinaryPredicatesubPlan   

subProcess
subjectfact 
subProcessdocumentation (subProcess ?SUBPROC ?PROC) means that ?SUBPROC is a subprocess of ?PROC. A subprocess is here understood as a temporally distinguished part (proper or not) of a Process2001-11-30 13:35:20.0
has axiom
(=> 
(instance ?PROC Process)
(exists (?SUBPROC)
(subProcess ?SUBPROC ?PROC)))
2001-11-30 13:35:20.0
has axiom
(=> 
(and
(instance ?PROC Process)
(subProcess ?SUBPROC ?PROC))
(exists (?TIME)
(existant ?SUBPROC ?TIME)))
2001-11-30 13:35:20.0
has axiom
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists (?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))
2001-11-30 13:35:20.0
has axiom
(=>
(and
(instance ?COVER Covering)
(patient ?COVER ?OBJ))
(exists (?CONCEAL ?PART)
(and
(instance ?CONCEAL Concealing)
(subProcess ?CONCEAL ?COVER)
(part ?PART ?OBJ)
(patient ?CONCEAL ?PART))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?ACT EducationalProcess)
(exists (?PROC)
(and
(instance ?PROC Learning)
(subProcess ?PROC ?ACT))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?BATTLE Battle)
(exists (?WAR)
(and
(instance ?WAR War)
(subProcess ?BATTLE ?WAR))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?BATTLE Battle)
(exists (?ATTACK)
(and
(instance ?ATTACK Attack)
(subProcess ?ATTACK ?BATTLE))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?MOVE Maneuver)
(exists (?CONTEST)
(and
(instance ?CONTEST Contest)
(subProcess ?MOVE ?CONTEST))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?SUB Substituting)
(exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
(and
(instance ?PUT Putting)
(instance ?REMOVE Removing)
(subProcess ?PUT ?SUB)
(subProcess ?REMOVE ?SUB)
(patient ?REMOVE ?OBJ1)
(origin ?REMOVE ?PLACE)
(patient ?PUT ?OBJ2)
(destination ?PUT PLACE)
(not (equal ?OBJ1 ?OBJ2)))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?TRANS Transaction)
(exists (?AGENT1 ?AGENT2 ?GIVE1 ?GIVE2 ?OBJ1 ?OBJ2)
(and
(instance ?GIVE1 Giving)
(instance ?GIVE2 Giving)
(subProcess ?GIVE1 ?TRANS)
(subProcess ?GIVE2 ?TRANS)
(agent ?GIVE1 ?AGENT1)
(agent ?GIVE2 ?AGENT2)
(patient ?GIVE1 ?OBJ1)
(patient ?GIVE2 ?OBJ2)
(destination ?GIVE1 ?AGENT2)
(destination ?GIVE2 ?AGENT1)
(not
(equal ?AGENT1 ?AGENT2))
(not
(equal ?OBJ1 ?OBJ2)))))
2001-11-30 13:35:21.0
has axiom
(=>
(instance ?WAR War)
(exists (?BATTLE)
(and
(instance ?BATTLE Battle)
(subProcess ?BATTLE ?WAR))))
2001-11-30 13:35:21.0
has axiom
(=>
(subProcess ?SUBPROC ?PROC)
(or
(equal (WhenFn ?SUBPROC) (WhenFn ?PROC))
(during (WhenFn ?SUBPROC) (WhenFn ?PROC))))
2001-11-30 13:35:21.0
has axiom
(=>
(subProcess ?SUBPROC ?PROC)
(forall (?REGION)
(=>
(located ?PROC ?REGION)
(located ?SUBPROC ?REGION))))
2001-11-30 13:35:21.0
has domain1 Process2001-11-30 13:35:21.0
has domain2 Process2001-11-30 13:35:21.0
is an instance of BinaryPredicate2001-11-30 13:35:21.0
is an instance of PartialOrderingRelation2001-11-30 13:35:21.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next BinaryPredicatesubrelation    UpBinaryPredicate, PartialOrderingRelation    Previous BinaryPredicatesubPlan