| appearance as argument number 1 |
|
| (documentation mothersSistersSon EnglishLanguage "In Arabic: Aibon AlxaAlap. Son of mother's sister.") | ArabicCulture.kif 724-725 | |
| (instance mothersSistersSon BinaryPredicate) | ArabicCulture.kif 722-722 | mothers sisters son is an instance of binary predicate |
| (subrelation mothersSistersSon familyRelation) | ArabicCulture.kif 723-723 | mothers sisters son is a subrelation of family relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mothersSistersSon "%1 的 mother's sister's son 是 %2 ") | domainEnglishFormat.kif 3904-3904 | |
| (format ChineseTraditionalLanguage mothersSistersSon "%1 的 mother's sister's son 是 %2 ") | domainEnglishFormat.kif 3903-3903 | |
| (format EnglishLanguage mothersSistersSon "the mother's sister's son of %1 is %2") | domainEnglishFormat.kif 3902-3902 | |
| (termFormat ChineseLanguage mothersSistersSon "母亲姐妹的儿子") | domainEnglishFormat.kif 38751-38751 | |
| (termFormat ChineseTraditionalLanguage mothersSistersSon "母親姐妹的兒子") | domainEnglishFormat.kif 38750-38750 | |
| (termFormat EnglishLanguage mothersSistersSon "mothers sisters son") | domainEnglishFormat.kif 38749-38749 |
| antecedent |
|
|
| (=> (mothersSistersSon ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 726-732 |
|
|
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