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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mothersBrothersSon

 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 676-677
(instance mothersBrothersSon BinaryPredicate) ArabicCulture.kif 674-674
(subrelation mothersBrothersSon familyRelation) ArabicCulture.kif 675-675

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


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

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


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


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