mothersSistersHusband |
appearance as argument number 1 |
(documentation mothersSistersHusband EnglishLanguage "In Arabic: zawoj AlxaAlap. Husband of mother's sister.") | ArabicCulture.kif 640-641 | |
(instance mothersSistersHusband BinaryPredicate) | ArabicCulture.kif 638-638 | |
(subrelation mothersSistersHusband familyRelation) | ArabicCulture.kif 639-639 |
appearance as argument number 2 |
(format ChineseLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") | domainEnglishFormat.kif 3906-3906 | |
(format ChineseTraditionalLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") | domainEnglishFormat.kif 3905-3905 | |
(format EnglishLanguage mothersSistersHusband "the mother's sister's husband of %1 is %2") | domainEnglishFormat.kif 3904-3904 | |
(termFormat ChineseLanguage mothersSistersHusband "母亲姐妹的丈夫") | domainEnglishFormat.kif 38711-38711 | |
(termFormat ChineseTraditionalLanguage mothersSistersHusband "母親姐妹的丈夫") | domainEnglishFormat.kif 38710-38710 | |
(termFormat EnglishLanguage mothersSistersHusband "mothers sisters husband") | domainEnglishFormat.kif 38709-38709 |
antecedent |
(=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 642-648 |