| appearance as argument number 1 |
|
| (documentation fathersSistersSon EnglishLanguage "In Arabic: Aibon AlEam~ap. Son of father's sister.") | ArabicCulture.kif 685-686 | |
| (instance fathersSistersSon BinaryPredicate) | ArabicCulture.kif 683-683 | |
| (subrelation fathersSistersSon familyRelation) | ArabicCulture.kif 684-684 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") | domainEnglishFormat.kif 3427-3427 | |
| (format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") | domainEnglishFormat.kif 3426-3426 | |
| (format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2") | domainEnglishFormat.kif 3425-3425 | |
| (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 687-693 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners