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

subProcess comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(instance ?REL BinaryPredicate)
(valence ?REL 2))
PartialOrderingRelation  trichotomizingOnA BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
subProcessProcessProcesssingleValued(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
(subProcess ?SUBPROC ?PROC)
(forall (?REGION)
(located ?PROC ?REGION)
(located ?SUBPROC ?REGION))))

Next BinaryPredicatesubrelation    UpBinaryPredicate, PartialOrderingRelation    Previous BinaryPredicatesubPlan