ancestor |
appearance as argument number 1 |
![]() |
(documentation ancestor ChineseLanguage "这是 parent 谓词 的传递闭包。 (ancestor ?DESCENDANT ?ANCESTOR)的意思是 ?ANCESTOR 要不是 ?DESCENDANT 的 parent,就是 DESCENDANT 的 parent 的 parent,如此类推。") | chinese_format.kif 3686-3688 | |
(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 16527-16530 | |
(domain ancestor 1 Organism) | Merge.kif 16525-16525 | |
(domain ancestor 2 Organism) | Merge.kif 16526-16526 | |
(instance ancestor BinaryPredicate) | Merge.kif 16524-16524 | |
(instance ancestor IrreflexiveRelation) | Merge.kif 16522-16522 | |
(instance ancestor TotalValuedRelation) | Merge.kif 16523-16523 | |
(instance ancestor TransitiveRelation) | Merge.kif 16521-16521 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage ancestor "%2 是 %1 的 ancestor ") | domainEnglishFormat.kif 2794-2794 | |
(format ChineseTraditionalLanguage ancestor "%2 是 %1 的 ancestor ") | domainEnglishFormat.kif 2793-2793 | |
(format EnglishLanguage ancestor "%2 is the ancestor of %1") | domainEnglishFormat.kif 2792-2792 | |
(termFormat ChineseLanguage ancestor "祖先") | domainEnglishFormat.kif 7387-7387 | |
(termFormat ChineseTraditionalLanguage ancestor "祖先") | domainEnglishFormat.kif 7386-7386 | |
(termFormat EnglishLanguage ancestor "ancestor") | domainEnglishFormat.kif 7385-7385 |
consequent |
![]() |
(=> (and (instance ?PERSON Human) (equal (DescendantsFn ?PERSON) ?DESCENDANTS)) (forall (?MEMBER) (<=> (member ?MEMBER ?DESCENDANTS) (ancestor ?MEMBER ?PERSON)))) |
Mid-level-ontology.kif 8634-8641 | |
(=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2)))) |
Merge.kif 16513-16518 | |
(=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16546-16548 |
![]() |
![]() |