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 661-662
(instance mothersBrothersSon BinaryPredicate) ArabicCulture.kif 659-659
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 660-660

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


(format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") domainEnglishFormat.kif 3895-3895
(format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") domainEnglishFormat.kif 3894-3894
(format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2") domainEnglishFormat.kif 3893-3893
(termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子") domainEnglishFormat.kif 38608-38608
(termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子") domainEnglishFormat.kif 38607-38607
(termFormat EnglishLanguage mothersBrothersSon "mothers brothers son") domainEnglishFormat.kif 38606-38606

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


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


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