| 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 16236-16239 | |
| (domain ancestor 1 Organism) | Merge.kif 16234-16234 | Le nombre 1 argument de ancestor est une instance de organisme |
| (domain ancestor 2 Organism) | Merge.kif 16235-16235 | Le nombre 2 argument de ancestor est une instance de organisme |
| (instance ancestor BinaryPredicate) | Merge.kif 16233-16233 | ancestor est une instance de pr�dicat binaire |
| (instance ancestor IrreflexiveRelation) | Merge.kif 16231-16231 | ancestor est une instance de relation irr�flexive |
| (instance ancestor TotalValuedRelation) | Merge.kif 16232-16232 | ancestor est une instance de relation total |
| (instance ancestor TransitiveRelation) | Merge.kif 16230-16230 | ancestor est une instance de relation transitive |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage ancestor "%2 是 %1 的 ancestor ") | domainEnglishFormat.kif 2798-2798 | |
| (format ChineseTraditionalLanguage ancestor "%2 是 %1 的 ancestor ") | domainEnglishFormat.kif 2797-2797 | |
| (format EnglishLanguage ancestor "%2 is the ancestor of %1") | domainEnglishFormat.kif 2796-2796 | |
| (termFormat ChineseLanguage ancestor "祖先") | domainEnglishFormat.kif 7385-7385 | |
| (termFormat ChineseTraditionalLanguage ancestor "祖先") | domainEnglishFormat.kif 7384-7384 | |
| (termFormat EnglishLanguage ancestor "ancestor") | domainEnglishFormat.kif 7383-7383 |
| consequent |
|
|
| (=> (and (instance ?PERSON Human) (equal (DescendantsFn ?PERSON) ?DESCENDANTS)) (forall (?MEMBER) (<=> (member ?MEMBER ?DESCENDANTS) (ancestor ?MEMBER ?PERSON)))) |
Mid-level-ontology.kif 7434-7441 |
|
| (=> (familyRelation ?ORGANISM1 ?ORGANISM2) (exists (?ORGANISM3) (and (ancestor ?ORGANISM3 ?ORGANISM1) (ancestor ?ORGANISM3 ?ORGANISM2)))) |
Merge.kif 16222-16227 | |
| (=> (parent ?CHILD ?PARENT) (ancestor ?CHILD ?PARENT)) |
Merge.kif 16255-16257 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners