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

Formal Language: 



KB Term:  Term intersection
English Word: 

  maternalUncle

Sigma KEE - maternalUncle
maternalUncle

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


(documentation maternalUncle EnglishLanguage "In Arabic: xaAl. Mother's brother, maternal uncle.") ArabicCulture.kif 571-572
(instance maternalUncle BinaryPredicate) ArabicCulture.kif 569-569
(subrelation maternalUncle familyRelation) ArabicCulture.kif 570-570

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


(format ChineseLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") domainEnglishFormat.kif 3826-3826
(format ChineseTraditionalLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") domainEnglishFormat.kif 3825-3825
(format EnglishLanguage maternalUncle "the maternal uncle of %1 is %2") domainEnglishFormat.kif 3824-3824
(termFormat ChineseLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36463-36463
(termFormat ChineseTraditionalLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36462-36462
(termFormat EnglishLanguage maternalUncle "maternal uncle") domainEnglishFormat.kif 36461-36461

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


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


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