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

Formal Language: 



KB Term:  Term intersection
English Word: 

  mothersBrothersWife

Sigma KEE - mothersBrothersWife
mothersBrothersWife

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


(documentation mothersBrothersWife EnglishLanguage "In Arabic: zawojap AlxaAl. Wife of mother's brother.") ArabicCulture.kif 601-602
(instance mothersBrothersWife BinaryPredicate) ArabicCulture.kif 599-599 mothers brothers wife is an instance of binary predicate
(subrelation mothersBrothersWife familyRelation) ArabicCulture.kif 600-600 mothers brothers wife is a subrelation of family relation

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


(format ChineseLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") domainEnglishFormat.kif 3899-3899
(format ChineseTraditionalLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") domainEnglishFormat.kif 3898-3898
(format EnglishLanguage mothersBrothersWife "the mother's brother's wife of %1 is %2") domainEnglishFormat.kif 3897-3897
(termFormat ChineseLanguage mothersBrothersWife "妈妈兄弟的妻子") domainEnglishFormat.kif 38614-38614
(termFormat ChineseTraditionalLanguage mothersBrothersWife "媽媽兄弟的妻子") domainEnglishFormat.kif 38613-38613
(termFormat EnglishLanguage mothersBrothersWife "mothers brothers wife") domainEnglishFormat.kif 38612-38612

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


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


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