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 698-699
(domain mothersBrothersSon 1 Organism) ArabicCulture.kif 696-696
(domain mothersBrothersSon 2 Organism) ArabicCulture.kif 697-697
(instance mothersBrothersSon BinaryPredicate) ArabicCulture.kif 694-694
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 695-695

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


(format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") domainEnglishFormat.kif 3892-3892
(format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") domainEnglishFormat.kif 3891-3891
(format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2") domainEnglishFormat.kif 3890-3890
(termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子") domainEnglishFormat.kif 38702-38702
(termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子") domainEnglishFormat.kif 38701-38701
(termFormat EnglishLanguage mothersBrothersSon "mothers brothers son") domainEnglishFormat.kif 38700-38700

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


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


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