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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - mothersBrothersSon
mothersBrothersSon

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


(documentation mothersBrothersSon EnglishLanguage "In Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother.") ArabicCulture.kif 663-664
(instance mothersBrothersSon BinaryPredicate) ArabicCulture.kif 661-661
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 662-662

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


(format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") domainEnglishFormat.kif 3899-3899
(format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") domainEnglishFormat.kif 3898-3898
(format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2") domainEnglishFormat.kif 3897-3897
(termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子") domainEnglishFormat.kif 38676-38676
(termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子") domainEnglishFormat.kif 38675-38675
(termFormat EnglishLanguage mothersBrothersSon "mothers brothers son") domainEnglishFormat.kif 38674-38674

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


(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))
ArabicCulture.kif 665-671


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