TreeView Knowledge Base Browser - fathersBrothersWife

appearance as argument number 1

(instance fathersBrothersWife BinaryPredicate)	ArabicCulture.kif 609-609	fathers brothers wife is an instance of binary predicate
(subrelation fathersBrothersWife familyRelation)	ArabicCulture.kif 610-610	fathers brothers wife is a subrelation of family relation
(domain fathersBrothersWife 1 Organism)	ArabicCulture.kif 611-611	The number 1 argument of fathers brothers wife is an instance of organism
(domain fathersBrothersWife 2 Organism)	ArabicCulture.kif 612-612	The number 2 argument of fathers brothers wife is an instance of organism
(documentation fathersBrothersWife EnglishLanguage "In Arabic: zawojap AlEam~. Wife of father's brother.")	ArabicCulture.kif 613-614	The number 2 argument of fathers brothers wife is an instance of organism

appearance as argument number 2

(format EnglishLanguage fathersBrothersWife "%1 is the father's brother's wife of %2")	domainEnglishFormat.kif 3406-3406
(format ChineseTraditionalLanguage fathersBrothersWife "%1 是 %2 的 father's brother's wife ")	domainEnglishFormat.kif 3407-3407
(format ChineseLanguage fathersBrothersWife "%1 是 %2 的 father's brother's wife ")	domainEnglishFormat.kif 3408-3408
(termFormat EnglishLanguage fathersBrothersWife "fathers brothers wife")	domainEnglishFormat.kif 23374-23374
(termFormat ChineseTraditionalLanguage fathersBrothersWife "父親兄弟的妻子")	domainEnglishFormat.kif 23375-23375
(termFormat ChineseLanguage fathersBrothersWife "父亲兄弟的妻子")	domainEnglishFormat.kif 23376-23376

antecedent

(=>
    (fathersBrothersWife ?P ?W)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (wife ?UNC ?W))))

ArabicCulture.kif 615-621

If X is the father's brother's wife of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the wife of Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: