paternalAunt |
appearance as argument number 1 |
(documentation paternalAunt EnglishLanguage "In Arabic: Eam~ap. Father's sister, paternal aunt.") | ArabicCulture.kif 582-583 | |
(instance paternalAunt BinaryPredicate) | ArabicCulture.kif 580-580 | paternalAunt est une instance de pr�dicat binaire |
(subrelation paternalAunt familyRelation) | ArabicCulture.kif 581-581 | paternalAunt est une sous-relation de familyRelation |
appearance as argument number 2 |
(format ChineseLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") | domainEnglishFormat.kif 4090-4090 | |
(format ChineseTraditionalLanguage paternalAunt "%1 的 paternal aunt 是 %2 ") | domainEnglishFormat.kif 4089-4089 | |
(format EnglishLanguage paternalAunt "the paternal aunt of %1 is %2") | domainEnglishFormat.kif 4088-4088 | |
(termFormat ChineseLanguage paternalAunt "父亲阿姨") | domainEnglishFormat.kif 44754-44754 | |
(termFormat ChineseTraditionalLanguage paternalAunt "父親阿姨") | domainEnglishFormat.kif 44753-44753 | |
(termFormat EnglishLanguage paternalAunt "paternal aunt") | domainEnglishFormat.kif 44752-44752 |
antecedent |
(=> (paternalAunt ?P ?AUN) (exists (?F) (and (father ?P ?F) (sister ?F ?AUN)))) |
ArabicCulture.kif 584-589 |