| appearance as argument number 1 |
|
| (documentation mothersSistersHusband EnglishLanguage "In Arabic: zawoj AlxaAlap. Husband of mother's sister.") | ArabicCulture.kif 640-641 | |
| (instance mothersSistersHusband BinaryPredicate) | ArabicCulture.kif 638-638 | mothers sisters husband is an instance of binary predicate |
| (subrelation mothersSistersHusband familyRelation) | ArabicCulture.kif 639-639 | mothers sisters husband is a subrelation of family relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") | domainEnglishFormat.kif 3900-3900 | |
| (format ChineseTraditionalLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") | domainEnglishFormat.kif 3899-3899 | |
| (format EnglishLanguage mothersSistersHusband "the mother's sister's husband of %1 is %2") | domainEnglishFormat.kif 3898-3898 | |
| (termFormat ChineseLanguage mothersSistersHusband "母亲姐妹的丈夫") | domainEnglishFormat.kif 38745-38745 | |
| (termFormat ChineseTraditionalLanguage mothersSistersHusband "母親姐妹的丈夫") | domainEnglishFormat.kif 38744-38744 | |
| (termFormat EnglishLanguage mothersSistersHusband "mothers sisters husband") | domainEnglishFormat.kif 38743-38743 |
| antecedent |
|
|
| (=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 642-648 |
|
|
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