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 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 36485-36485
(termFormat ChineseTraditionalLanguage maternalUncle "母方的叔叔") domainEnglishFormat.kif 36484-36484
(termFormat EnglishLanguage maternalUncle "maternal uncle") domainEnglishFormat.kif 36483-36483

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


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


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