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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fathersBrothersWife

Sigma KEE - fathersBrothersWife
fathersBrothersWife

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


(documentation fathersBrothersWife EnglishLanguage "In Arabic: zawojap AlEam~. Wife of father's brother.") ArabicCulture.kif 604-605
(instance fathersBrothersWife BinaryPredicate) ArabicCulture.kif 602-602 父親兄弟的妻子 and BinaryPredicate
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 603-603 子關係 父親兄弟的妻子 and 家庭關係

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


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

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


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


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