mothersBrothersWife |
appearance as argument number 1 |
(documentation mothersBrothersWife EnglishLanguage "In Arabic: zawojap AlxaAl. Wife of mother's brother.") | ArabicCulture.kif 616-617 | |
(instance mothersBrothersWife BinaryPredicate) | ArabicCulture.kif 614-614 | mothersBrothersWife ist ein fall von BinaryPredicate %n{nicht} |
(subrelation mothersBrothersWife familyRelation) | ArabicCulture.kif 615-615 | mothersBrothersWife ist eine teilrelation von familyRelation |
appearance as argument number 2 |
(format ChineseLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") | domainEnglishFormat.kif 3898-3898 | |
(format ChineseTraditionalLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") | domainEnglishFormat.kif 3897-3897 | |
(format EnglishLanguage mothersBrothersWife "the mother's brother's wife of %1 is %2") | domainEnglishFormat.kif 3896-3896 | |
(termFormat ChineseLanguage mothersBrothersWife "妈妈兄弟的妻子") | domainEnglishFormat.kif 38697-38697 | |
(termFormat ChineseTraditionalLanguage mothersBrothersWife "媽媽兄弟的妻子") | domainEnglishFormat.kif 38696-38696 | |
(termFormat EnglishLanguage mothersBrothersWife "mothers brothers wife") | domainEnglishFormat.kif 38695-38695 |
antecedent |
(=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 618-624 |