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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - mothersBrothersWife
mothersBrothersWife

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


(documentation mothersBrothersWife EnglishLanguage "In Arabic: zawojap AlxaAl. Wife of mother's brother.") ArabicCulture.kif 628-629
(domain mothersBrothersWife 1 Organism) ArabicCulture.kif 626-626
(domain mothersBrothersWife 2 Organism) ArabicCulture.kif 627-627
(instance mothersBrothersWife BinaryPredicate) ArabicCulture.kif 624-624
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 625-625

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


(format ChineseLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") domainEnglishFormat.kif 3896-3896
(format ChineseTraditionalLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") domainEnglishFormat.kif 3895-3895
(format EnglishLanguage mothersBrothersWife "the mother's brother's wife of %1 is %2") domainEnglishFormat.kif 3894-3894
(termFormat ChineseLanguage mothersBrothersWife "妈妈兄弟的妻子") domainEnglishFormat.kif 38708-38708
(termFormat ChineseTraditionalLanguage mothersBrothersWife "媽媽兄弟的妻子") domainEnglishFormat.kif 38707-38707
(termFormat EnglishLanguage mothersBrothersWife "mothers brothers wife") domainEnglishFormat.kif 38706-38706

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


(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 630-636


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