SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > familyRelation
Next BinaryPredicate: fills    Up: BinaryPredicate, EquivalenceRelation    Previous BinaryPredicate: exploits   

familyRelation 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 
EquivalenceRelation  trichotomizingOnA BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
TransitiveRelation 
familyRelationOrganismOrganismsingleValuedA very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor
(=> 
    (instance ?GROUP FamilyGroup) 
    (forall (?MEMB1 ?MEMB2) 
       (=> 
          (and 
             (member ?MEMB1 ?GROUP) 
             (member ?MEMB2 ?GROUP)) 
          (familyRelation ?MEMB1 ?MEMB2))))
 EquivalenceRelation

Next BinaryPredicate: fills    Up: BinaryPredicate, EquivalenceRelation    Previous BinaryPredicate: exploits