SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > subProcess

subProcess
subject			fact

subProcess	documentation (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 Process
	has axiom (=> (instance ?PROC Process) (exists (?SUBPROC) (subProcess ?SUBPROC ?PROC)))
	has axiom (=> (and (instance ?PROC Process) (subProcess ?SUBPROC ?PROC)) (exists (?TIME) (existant ?SUBPROC ?TIME)))
	has axiom (=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))
	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))))
	has axiom (=> (instance ?ACT EducationalProcess) (exists (?PROC) (and (instance ?PROC Learning) (subProcess ?PROC ?ACT))))
	has axiom (=> (instance ?BATTLE Battle) (exists (?WAR) (and (instance ?WAR War) (subProcess ?BATTLE ?WAR))))
	has axiom (=> (instance ?BATTLE Battle) (exists (?ATTACK) (and (instance ?ATTACK Attack) (subProcess ?ATTACK ?BATTLE))))
	has axiom (=> (instance ?MOVE Maneuver) (exists (?CONTEST) (and (instance ?CONTEST Contest) (subProcess ?MOVE ?CONTEST))))
	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)))))
	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)))))
	has axiom (=> (instance ?WAR War) (exists (?BATTLE) (and (instance ?BATTLE Battle) (subProcess ?BATTLE ?WAR))))
	has axiom (=> (subProcess ?SUBPROC ?PROC) (or (equal (WhenFn ?SUBPROC) (WhenFn ?PROC)) (during (WhenFn ?SUBPROC) (WhenFn ?PROC))))
	has axiom (=> (subProcess ?SUBPROC ?PROC) (forall (?REGION) (=> (located ?PROC ?REGION) (located ?SUBPROC ?REGION))))
	has domain1 Process
	has domain2 Process
	is an instance of BinaryPredicate
	is an instance of PartialOrderingRelation
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Predicate	is first domain of singleValued
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next BinaryPredicate: subrelation    Up: BinaryPredicate, PartialOrderingRelation    Previous BinaryPredicate: subPlan