SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > parent
Next AsymmetricRelation: partiallyFills    Up: AsymmetricRelation, BinaryPredicate, IntransitiveRelation    Previous AsymmetricRelation: on   

parent 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 
IntransitiveRelation  trichotomizingOnA BinaryRelation ?REL is intransitive only if (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST3) imply not (?REL ?INST1 ?INST3), for all ?INST1, ?INST2, and ?INST3
(=> 
    (instance ?REL IntransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=> 
          (and 
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (not 
             (holds ?REL ?INST1 ?INST3)))))
BinaryRelation 
parentOrganismOrganismsingleValuedThe general relationship of parenthood. (parent ?PARENT ?CHILD) means that ?PARENT is a biological parent of ?CHILD
(=>
    (parent ?PARENT ?CHILD)
    (or
       (mother ?PARENT ?CHILD)
       (father ?PARENT ?CHILD)))
 IntransitiveRelation

Next AsymmetricRelation: partiallyFills    Up: AsymmetricRelation, BinaryPredicate, IntransitiveRelation    Previous AsymmetricRelation: on