Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ancestor
ancestor

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


(instance ancestor TransitiveRelation) Merge.kif 16705-16705
(instance ancestor IrreflexiveRelation) Merge.kif 16706-16706
(instance ancestor TotalValuedRelation) Merge.kif 16707-16707
(instance ancestor BinaryPredicate) Merge.kif 16708-16708
(domain ancestor 1 Organism) Merge.kif 16709-16709
(domain ancestor 2 Organism) Merge.kif 16710-16710
(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

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


(format EnglishLanguage ancestor "%2 is the ancestor of %1") domainEnglishFormat.kif 2792-2792
(format ChineseTraditionalLanguage ancestor "%2 是 %1 的 ancestor ") domainEnglishFormat.kif 2793-2793
(format ChineseLanguage ancestor "%2 是 %1 的 ancestor ") domainEnglishFormat.kif 2794-2794
(termFormat EnglishLanguage ancestor "ancestor") domainEnglishFormat.kif 7379-7379
(termFormat ChineseTraditionalLanguage ancestor "祖先") domainEnglishFormat.kif 7380-7380
(termFormat ChineseLanguage ancestor "祖先") domainEnglishFormat.kif 7381-7381

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


(=>
    (familyRelation ?ORGANISM1 ?ORGANISM2)
    (exists (?ORGANISM3)
        (and
            (ancestor ?ORGANISM3 ?ORGANISM1)
            (ancestor ?ORGANISM3 ?ORGANISM2))))		 Merge.kif 16697-16702
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))		 Merge.kif 16730-16732
(=>
    (and
        (instance ?PERSON Human)
        (equal
            (DescendantsFn ?PERSON) ?DESCENDANTS)
        (member ?MEMBER ?DESCENDANTS))
    (ancestor ?MEMBER ?PERSON))		 Mid-level-ontology.kif 8789-8795


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners