Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ancestor |
| appearance as argument number 1 |
|
| (instance ancestor TransitiveRelation) | Merge.kif 16705-16705 | ancestor is an instance of transitive relation |
| (instance ancestor IrreflexiveRelation) | Merge.kif 16706-16706 | ancestor is an instance of irreflexive relation |
| (instance ancestor TotalValuedRelation) | Merge.kif 16707-16707 | ancestor is an instance of total valued relation |
| (instance ancestor BinaryPredicate) | Merge.kif 16708-16708 | ancestor is an instance of binary predicate |
| (domain ancestor 1 Organism) | Merge.kif 16709-16709 | The number 1 argument of ancestor is an instance of organism |
| (domain ancestor 2 Organism) | Merge.kif 16710-16710 | The number 2 argument of ancestor is an instance of organism |
| (documentation ancestor EnglishLanguage "The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc.") | Merge.kif 16711-16714 | The number 2 argument of ancestor is an instance of organism |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2)))) |
Merge.kif 16697-16702 | If X and Y are related, then there exists Z such that X is the ancestor of Z and Y is the ancestor of Z |
| (=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16730-16732 | If X is a parent of Y, then X is the ancestor of Y |
| (=> (and (instance ?PERSON Human) (equal (DescendantsFn ?PERSON) ?DESCENDANTS) (member ?MEMBER ?DESCENDANTS)) (ancestor ?MEMBER ?PERSON)) |
Mid-level-ontology.kif 8789-8795 | If X is an instance of human, equal the descendants of X and Y, and Z is a member of Y, then X is the ancestor of Z |
|