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,如此类推。") Merge.kif 16578-16580
(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 16574-16577
(domain ancestor 1 Organism) Merge.kif 16572-16572 The number 1 argument of ancestor is an instance of organism
(domain ancestor 2 Organism) Merge.kif 16573-16573 The number 2 argument of ancestor is an instance of organism
(instance ancestor IrreflexiveRelation) Merge.kif 16570-16570 ancestor is an instance of irreflexive relation
(instance ancestor TotalValuedRelation) Merge.kif 16571-16571 ancestor is an instance of total valued relation
(instance ancestor TransitiveRelation) Merge.kif 16569-16569 ancestor is an instance of transitive relation

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


(format EnglishLanguage ancestor "%2 is the ancestor of %1") domainEnglishFormat.kif 708-708
(termFormat EnglishLanguage ancestor "ancestor") domainEnglishFormat.kif 1664-1664 "ancestor" is the printable form of ancestor in english language

consequent
-------------------------


(=>
    (and
        (instance ?PERSON Human)
        (equal
            (DescendantsFn ?PERSON) ?DESCENDANTS))
    (forall (?MEMBER)
        (<=>
            (member ?MEMBER ?DESCENDANTS)
            (ancestor ?MEMBER ?PERSON))))
Mid-level-ontology.kif 7176-7183
(=>
    (familyRelation ?ORGANISM1 ?ORGANISM2)
    (exists (?ORGANISM3)
        (and
            (ancestor ?ORGANISM3 ?ORGANISM1)
            (ancestor ?ORGANISM3 ?ORGANISM2))))
Merge.kif 16561-16566
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))
Merge.kif 16598-16600


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