mothersBrothersSon |
appearance as argument number 1 |
(documentation mothersBrothersSon EnglishLanguage "In Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother.") | ArabicCulture.kif 676-677 | |
(instance mothersBrothersSon BinaryPredicate) | ArabicCulture.kif 674-674 | mothersBrothersSon は 2進述語 の instance では %n |
(subrelation mothersBrothersSon familyRelation) | ArabicCulture.kif 675-675 | mothersBrothersSon は familyRelation の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") | domainEnglishFormat.kif 3894-3894 | |
(format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") | domainEnglishFormat.kif 3893-3893 | |
(format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2") | domainEnglishFormat.kif 3892-3892 | |
(termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子") | domainEnglishFormat.kif 38693-38693 | |
(termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子") | domainEnglishFormat.kif 38692-38692 | |
(termFormat EnglishLanguage mothersBrothersSon "mothers brothers son") | domainEnglishFormat.kif 38691-38691 |
antecedent |
(=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 678-684 |