Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ancestor
ancestor

appearance as argument number 1
-------------------------


(documentation ancestor ChineseLanguage "这是 parent 谓词 的传递闭包。 (ancestor ?DESCENDANT ?ANCESTOR)的意思是 ?ANCESTOR 要不是 ?DESCENDANT 的 parent,就是 DESCENDANT 的 parentparent,如此类推。") 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 15154-15157
(domain ancestor 1 Organism) Merge.kif 15152-15152 The number 1 argument of ancestor is an instance of organism
(domain ancestor 2 Organism) Merge.kif 15153-15153 The number 2 argument of ancestor is an instance of organism
(instance ancestor IrreflexiveRelation) Merge.kif 15150-15150 ancestor is an instance of irreflexive relation
(instance ancestor TotalValuedRelation) Merge.kif 15151-15151 ancestor is an instance of total valued relation
(instance ancestor TransitiveRelation) Merge.kif 15149-15149 ancestor is an instance of transitive relation

appearance as argument number 2
-------------------------


(format ChineseLanguage ancestor "%2 是 %1 的 ancestor ") domainEnglishFormat.kif 2795-2795
(format ChineseTraditionalLanguage ancestor "%2 是 %1 的 ancestor ") domainEnglishFormat.kif 2794-2794
(format EnglishLanguage ancestor "%2 is the ancestor of %1") domainEnglishFormat.kif 2793-2793
(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 7178-7185
(=>
    (familyRelation ?ORGANISM1 ?ORGANISM2)
    (exists (?ORGANISM3)
        (and
            (ancestor ?ORGANISM3 ?ORGANISM1)
            (ancestor ?ORGANISM3 ?ORGANISM2))))
Merge.kif 15141-15146
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))
Merge.kif 15173-15175


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners