TreeView Knowledge Base Browser - fathersBrothersWife

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

ArabicCulture.kif 616-622

If an organism is the father's brother's wife of a man,
then there exist another man and a woman such that the other man is a father of the organism and the other man is the brother of the woman and the woman is the wife of the man

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

KB Term:			Term intersection

English Word: