TreeView Knowledge Base Browser - mothersBrothersWife

appearance as argument number 1

(documentation mothersBrothersWife EnglishLanguage "In Arabic: zawojap AlxaAl. Wife of mother's brother.")	ArabicCulture.kif 628-629
(domain mothersBrothersWife 1 Organism)	ArabicCulture.kif 626-626	The number 1 argument of mothers brothers wife is an instance of organism
(domain mothersBrothersWife 2 Organism)	ArabicCulture.kif 627-627	The number 2 argument of mothers brothers wife is an instance of organism
(instance mothersBrothersWife BinaryPredicate)	ArabicCulture.kif 624-624	mothers brothers wife is an instance of binary predicate
(subrelation mothersBrothersWife familyRelation)	ArabicCulture.kif 625-625	mothers brothers wife is a subrelation of family relation

appearance as argument number 2

(format ChineseLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ")	domainEnglishFormat.kif 3896-3896
(format ChineseTraditionalLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ")	domainEnglishFormat.kif 3895-3895
(format EnglishLanguage mothersBrothersWife "the mother's brother's wife of %1 is %2")	domainEnglishFormat.kif 3894-3894
(termFormat ChineseLanguage mothersBrothersWife "妈妈兄弟的妻子")	domainEnglishFormat.kif 38708-38708
(termFormat ChineseTraditionalLanguage mothersBrothersWife "媽媽兄弟的妻子")	domainEnglishFormat.kif 38707-38707
(termFormat EnglishLanguage mothersBrothersWife "mothers brothers wife")	domainEnglishFormat.kif 38706-38706

antecedent

(=>
    (mothersBrothersWife ?P ?W)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (wife ?UNC ?W))))

ArabicCulture.kif 630-636

If the mother's brother's wife of an organism is a man,
then there exist another man and a woman such that the other man is a mother 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: