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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maternalUncle
maternalUncle

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


(documentation maternalUncle EnglishLanguage "In Arabic: xaAl. Mother's brother, maternal uncle.") ArabicCulture.kif 558-559
(instance maternalUncle BinaryPredicate) ArabicCulture.kif 556-556
(subrelation maternalUncle familyRelation) ArabicCulture.kif 557-557

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


(format ChineseLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") domainEnglishFormat.kif 3831-3831
(format ChineseTraditionalLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") domainEnglishFormat.kif 3830-3830
(format EnglishLanguage maternalUncle "the maternal uncle of %1 is %2") domainEnglishFormat.kif 3829-3829
(termFormat ChineseLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36468-36468
(termFormat ChineseTraditionalLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36467-36467
(termFormat EnglishLanguage maternalUncle "maternal uncle") domainEnglishFormat.kif 36466-36466

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


(=>
    (maternalUncle ?P ?UNC)
    (exists (?M)
        (and
            (mother ?P ?M)
            (brother ?UNC ?M))))
ArabicCulture.kif 560-565


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 is open source software produced by Articulate Software and its partners