maternalAunt |
appearance as argument number 1 |
(documentation maternalAunt EnglishLanguage "In Arabic: xaAlap. Mother's sister, maternal aunt.") | ArabicCulture.kif 593-594 | |
(instance maternalAunt BinaryPredicate) | ArabicCulture.kif 591-591 | 母方的姑妈 是 二元谓语 的 instance |
(subrelation maternalAunt familyRelation) | ArabicCulture.kif 592-592 | 母方的姑妈 是 家属关系 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage maternalAunt "%1 的 maternal aunt 是 %2 ") | domainEnglishFormat.kif 3822-3822 | |
(format ChineseTraditionalLanguage maternalAunt "%1 的 maternal aunt 是 %2 ") | domainEnglishFormat.kif 3821-3821 | |
(format EnglishLanguage maternalAunt "the maternal aunt of %1 is %2") | domainEnglishFormat.kif 3820-3820 | |
(termFormat ChineseLanguage maternalAunt "母方的姑妈") | domainEnglishFormat.kif 36479-36479 | |
(termFormat ChineseTraditionalLanguage maternalAunt "母方的姑媽") | domainEnglishFormat.kif 36478-36478 | |
(termFormat EnglishLanguage maternalAunt "maternal aunt") | domainEnglishFormat.kif 36477-36477 |
antecedent |
(=> (maternalAunt ?P ?AUN) (exists (?M) (and (mother ?P ?M) (sister ?M ?AUN)))) |
ArabicCulture.kif 595-600 |