| appearance as argument number 1 |
|
| (documentation mothersBrothersSon EnglishLanguage "In Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother.") | ArabicCulture.kif 676-677 | |
| (instance mothersBrothersSon BinaryPredicate) | ArabicCulture.kif 674-674 | mothers brothers son is an instance of binary predicate |
| (subrelation mothersBrothersSon familyRelation) | ArabicCulture.kif 675-675 | mothers brothers son is a subrelation of family relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") | domainEnglishFormat.kif 3888-3888 | |
| (format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") | domainEnglishFormat.kif 3887-3887 | |
| (format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2") | domainEnglishFormat.kif 3886-3886 | |
| (termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子") | domainEnglishFormat.kif 38727-38727 | |
| (termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子") | domainEnglishFormat.kif 38726-38726 | |
| (termFormat EnglishLanguage mothersBrothersSon "mothers brothers son") | domainEnglishFormat.kif 38725-38725 |
| antecedent |
|
|
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 678-684 |
|
|
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