SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > subPlan
Next BinaryPredicatesubProcess    UpBinaryPredicate, IrreflexiveRelation, TransitiveRelation    Previous BinaryPredicatesubCollection   

subPlan
subjectfact 
subPlandocumentation (subPlan ?PLAN1 ?PLAN2) means that ?PLAN1 is a Plan which is a proper part of ?PLAN2. This relation is generally used to relate a supporting Plan to the overall Plan in a particular context2001-11-30 13:35:20.0
has axiom
(=>
(subPlan ?PLAN1 ?PLAN2)
(forall (?OBJ1 ?OBJ2)
(=>
(and
(containsInformation ?OBJ1 ?PLAN1)
(containsInformation ?OBJ2 ?PLAN2))
(subsumesContentInstance ?OBJ2 ?OBJ1))))
2001-11-30 13:35:20.0
has domain1 Plan2001-11-30 13:35:20.0
has domain2 Plan2001-11-30 13:35:20.0
is an instance of BinaryPredicate2001-11-30 13:35:20.0
is an instance of IrreflexiveRelation2001-11-30 13:35:20.0
is an instance of TransitiveRelation2001-11-30 13:35:20.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 BinaryPredicatesubProcess    UpBinaryPredicate, IrreflexiveRelation, TransitiveRelation    Previous BinaryPredicatesubCollection