fathersSistersSon |
appearance as argument number 1 |
(documentation fathersSistersSon EnglishLanguage "In Arabic: Aibon AlEam~ap. Son of father's sister.") | ArabicCulture.kif 700-701 | |
(instance fathersSistersSon BinaryPredicate) | ArabicCulture.kif 698-698 | fathersSistersSon è un' istanza di PredicatoBinario |
(subrelation fathersSistersSon familyRelation) | ArabicCulture.kif 699-699 | fathersSistersSon è una sottorelazione di familyRelation |
appearance as argument number 2 |
(format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") | domainEnglishFormat.kif 3422-3422 | |
(format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") | domainEnglishFormat.kif 3421-3421 | |
(format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2") | domainEnglishFormat.kif 3420-3420 | |
(termFormat ChineseLanguage fathersSistersSon "父亲姐妹的儿子") | domainEnglishFormat.kif 23398-23398 | |
(termFormat ChineseTraditionalLanguage fathersSistersSon "父親姐妹的兒子") | domainEnglishFormat.kif 23397-23397 | |
(termFormat EnglishLanguage fathersSistersSon "fathers sisters son") | domainEnglishFormat.kif 23396-23396 |
antecedent |
(=> (fathersSistersSon ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 702-708 |