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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ancestor

 Sigma KEE - ancestor
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 16352-16355
(domain ancestor 1 Organism) Merge.kif 16350-16350 ancestor の数値 1 引数は 物 の instance では %n
(domain ancestor 2 Organism) Merge.kif 16351-16351 ancestor の数値 2 引数は 物 の instance では %n
(instance ancestor BinaryPredicate) Merge.kif 16349-16349 ancestor は 2進述語 の instance では %n
(instance ancestor IrreflexiveRelation) Merge.kif 16347-16347 ancestor は 非反射関係 の instance では %n
(instance ancestor TotalValuedRelation) Merge.kif 16348-16348 ancestor は 合計値関係 の instance では %n
(instance ancestor TransitiveRelation) Merge.kif 16346-16346 ancestor は 推移関係 の instance では %n

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 7380-7380
(termFormat ChineseTraditionalLanguage ancestor "祖先") domainEnglishFormat.kif 7379-7379
(termFormat EnglishLanguage ancestor "ancestor") domainEnglishFormat.kif 7378-7378

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


(=>
    (and
        (instance ?PERSON Human)
        (equal
            (DescendantsFn ?PERSON) ?DESCENDANTS))
    (forall (?MEMBER)
        (<=>
            (member ?MEMBER ?DESCENDANTS)
            (ancestor ?MEMBER ?PERSON))))		 Mid-level-ontology.kif 7467-7474
(=>
    (familyRelation ?ORGANISM1 ?ORGANISM2)
    (exists (?ORGANISM3)
        (and
            (ancestor ?ORGANISM3 ?ORGANISM1)
            (ancestor ?ORGANISM3 ?ORGANISM2))))		 Merge.kif 16338-16343
(=>
    (parent ?CHILD ?PARENT)
    (ancestor ?CHILD ?PARENT))		 Merge.kif 16371-16373


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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