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 589-590
(instance fathersBrothersWife BinaryPredicate) ArabicCulture.kif 587-587 fathers brothers wife is an instance of binary predicate
(subrelation fathersBrothersWife familyRelation) ArabicCulture.kif 588-588 fathers brothers wife is a subrelation of family relation

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


(format EnglishLanguage fathersBrothersWife "%1 is the father's brother's wife of %2") domainEnglishFormat.kif 862-862
(termFormat EnglishLanguage fathersBrothersWife "fathers brothers wife") domainEnglishFormat.kif 4318-4318 "fathers brothers wife" is the printable form of fathers brothers wife in english language

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


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


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