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 | |
(domain mothersBrothersWife 2 Organism) | ArabicCulture.kif 627-627 | |
(instance mothersBrothersWife BinaryPredicate) | ArabicCulture.kif 624-624 | |
(subrelation mothersBrothersWife familyRelation) | ArabicCulture.kif 625-625 |
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 |
![]() |
![]() |