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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
            (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