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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fathersBrothersWife
fathersBrothersWife

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


(documentation fathersBrothersWife EnglishLanguage "In Arabic: zawojap AlEam~. Wife of father's brother.") ArabicCulture.kif 589-590
(instance fathersBrothersWife BinaryPredicate) ArabicCulture.kif 587-587
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 588-588

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


(format ChineseLanguage fathersBrothersWife "%1 是 %2 的 father's brother's wife ") domainEnglishFormat.kif 3411-3411
(format ChineseTraditionalLanguage fathersBrothersWife "%1 是 %2 的 father's brother's wife ") domainEnglishFormat.kif 3410-3410
(format EnglishLanguage fathersBrothersWife "%1 is the father's brother's wife of %2") domainEnglishFormat.kif 3409-3409
(termFormat ChineseLanguage fathersBrothersWife "父亲兄弟的妻子") domainEnglishFormat.kif 23311-23311
(termFormat ChineseTraditionalLanguage fathersBrothersWife "父親兄弟的妻子") domainEnglishFormat.kif 23310-23310
(termFormat EnglishLanguage fathersBrothersWife "fathers brothers wife") domainEnglishFormat.kif 23309-23309

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


(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))
ArabicCulture.kif 591-597


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners