| appearance as argument number 1 |
|
| (documentation mothersBrothersDaughter EnglishLanguage "In Arabic: binot AlxaAl. Female cousin on the mother's side, daughter of mother's brother.") | ArabicCulture.kif 712-713 | |
| (domain mothersBrothersDaughter 1 Organism) | ArabicCulture.kif 710-710 | The number 1 argument of mothers brothers daughter is an instance of organism |
| (domain mothersBrothersDaughter 2 Organism) | ArabicCulture.kif 711-711 | The number 2 argument of mothers brothers daughter is an instance of organism |
| (instance mothersBrothersDaughter BinaryPredicate) | ArabicCulture.kif 708-708 | mothers brothers daughter is an instance of binary predicate |
| (subrelation mothersBrothersDaughter familyRelation) | ArabicCulture.kif 709-709 | mothers brothers daughter is a subrelation of family relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mothersBrothersDaughter "%1 的 mother's brother's daughter 是 %2 ") | domainEnglishFormat.kif 3888-3888 | |
| (format ChineseTraditionalLanguage mothersBrothersDaughter "%1 的 mother's brother's daughter 是 %2 ") | domainEnglishFormat.kif 3887-3887 | |
| (format EnglishLanguage mothersBrothersDaughter "the mother's brother's daughter of %1 is %2") | domainEnglishFormat.kif 3886-3886 | |
| (termFormat ChineseLanguage mothersBrothersDaughter "母亲兄弟的女儿") | domainEnglishFormat.kif 38696-38696 | |
| (termFormat ChineseTraditionalLanguage mothersBrothersDaughter "母親兄弟的女兒") | domainEnglishFormat.kif 38695-38695 | |
| (termFormat EnglishLanguage mothersBrothersDaughter "mothers brothers daughter") | domainEnglishFormat.kif 38694-38694 |
| antecedent |
|
|
| (=> (mothersBrothersDaughter ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (daughter ?UNC ?H)))) |
ArabicCulture.kif 714-720 |
|
|
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