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

Formal Language: 



KB Term:  Term intersection
English Word: 

  uncle

 Sigma KEE - uncle
uncle

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


(documentation uncle EnglishLanguage "(uncle ?UNCLE ?PERSON) means that ?UNCLE is the brother of a parent of ?PERSON.") Mid-level-ontology.kif 23130-23131
(domain uncle 1 Man) Mid-level-ontology.kif 23132-23132 uncle の数値 1 引数は Man の instance では %n
(domain uncle 2 Human) Mid-level-ontology.kif 23133-23133 uncle の数値 2 引数は 人［人間］ の instance では %n
(instance uncle BinaryPredicate) Mid-level-ontology.kif 23135-23135 uncle は 2進述語 の instance では %n
(subrelation uncle familyRelation) Mid-level-ontology.kif 23134-23134 uncle は familyRelation の subrelation では %n

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


(format ChineseLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4858-4858
(format ChineseTraditionalLanguage uncle "%2 的 uncle 是 %1 ") domainEnglishFormat.kif 4857-4857
(format EnglishLanguage uncle "the uncle of %2 is %1") domainEnglishFormat.kif 4856-4856
(termFormat ChineseLanguage uncle "叔叔") domainEnglishFormat.kif 59852-59852
(termFormat ChineseTraditionalLanguage uncle "叔叔") domainEnglishFormat.kif 59851-59851
(termFormat EnglishLanguage uncle "uncle") domainEnglishFormat.kif 59850-59850

antecedent
-------------------------


(<=>
    (uncle ?U ?H)
    (exists (?P)
        (and
            (brother ?U ?P)
            (parent ?H ?P))))		 Mid-level-ontology.kif 23137-23142 uncle Man and 人［人間］ 人［人間］ brother Man and 人［人間］ 人［人間］ は 人［人間］ の parent では %n


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