SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > developmentalForm
Next AsymmetricRelation: documentation    Up: AsymmetricRelation, BinaryPredicate, TransitiveRelation    Previous AsymmetricRelation: deathTime   

developmentalForm comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
AsymmetricRelation  trichotomizingOnA BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation
(=>
    (instance ?REL IrreflexiveRelation)
    (forall (?INST)
       (not 
          (holds ?REL ?INST ?INST))))
IrreflexiveRelation 
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(=>
 	(instance ?REL BinaryPredicate)
 	(valence ?REL 2))
Predicate 
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 
developmentalFormOrganismOrganismsingleValued(developmentalForm ?OBJECT ?FORM) means that ?FORM is an earlier stage in the individual maturation of ?OBJECT. For example, tadpole and caterpillar are developmentalForms of frogs and butterflies, respectively
(=>
     (instance ?STRUCT EmbryonicStructure)
     (exists (?THING)
         (and
             (developmentalForm ?THING ?STRUCT)
             (or 
                 (instance ?THING Organism)
                 (instance ?THING AnatomicalStructure)))))
 TransitiveRelation

Next AsymmetricRelation: documentation    Up: AsymmetricRelation, BinaryPredicate, TransitiveRelation    Previous AsymmetricRelation: deathTime