SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > BinaryPredicate > familyRelation
Next BinaryPredicatefills    UpBinaryPredicate, EquivalenceRelation    Previous BinaryPredicateexploits   

familyRelationdocumentation A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor2001-11-30 13:34:14.0
has axiom
(familyRelation ?ORGANISM1 ?ORGANISM2)
(exists (?ORGANISM3)
(familyRelation ?ORGANISM3 ?ORGANISM1)
(familyRelation ?ORGANISM3 ?ORGANISM2))))
2001-11-30 13:34:14.0
has axiom
(instance ?GROUP FamilyGroup)
(forall (?MEMB1 ?MEMB2)
(member ?MEMB1 ?GROUP)
(member ?MEMB2 ?GROUP))
(familyRelation ?MEMB1 ?MEMB2))))
2001-11-30 13:34:14.0
has domain1 Organism2001-11-30 13:34:14.0
has domain2 Organism2001-11-30 13:34:14.0
is an instance of BinaryPredicate2001-11-30 13:34:15.0
is an instance of EquivalenceRelation2001-11-30 13:34:15.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 BinaryPredicatefills    UpBinaryPredicate, EquivalenceRelation    Previous BinaryPredicateexploits