SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > subPlan
Next BinaryPredicate: subProcess    Up: BinaryPredicate, IrreflexiveRelation, TransitiveRelation    Previous BinaryPredicate: subCollection   

subPlan 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))
Predicate 
IrreflexiveRelation  trichotomizingOnRelation ?REL is irreflexive if (?REL ?INST ?INST) holds for no value of ?INST
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
BinaryRelation 
TransitiveRelation  trichotomizingOnA BinaryRelation ?REL is transitive if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
BinaryRelation 
subPlanPlanPlansingleValued(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 context
(=>
    (subPlan ?PLAN1 ?PLAN2)
    (forall (?OBJ1 ?OBJ2)
       (=>
          (and
             (containsInformation ?OBJ1 ?PLAN1)
             (containsInformation ?OBJ2 ?PLAN2))
          (subsumesContentInstance ?OBJ2 ?OBJ1))))
 TransitiveRelation

Next BinaryPredicate: subProcess    Up: BinaryPredicate, IrreflexiveRelation, TransitiveRelation    Previous BinaryPredicate: subCollection