| appearance as argument number 1 |
|
| (documentation mothersBrothersWife EnglishLanguage "In Arabic: zawojap AlxaAl. Wife of mother's brother.") | ArabicCulture.kif 616-617 | |
| (instance mothersBrothersWife BinaryPredicate) | ArabicCulture.kif 614-614 | mothers brothers wife is an instance of binary predicate |
| (subrelation mothersBrothersWife familyRelation) | ArabicCulture.kif 615-615 | mothers brothers wife is a subrelation of family relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") | domainEnglishFormat.kif 3892-3892 | |
| (format ChineseTraditionalLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") | domainEnglishFormat.kif 3891-3891 | |
| (format EnglishLanguage mothersBrothersWife "the mother's brother's wife of %1 is %2") | domainEnglishFormat.kif 3890-3890 | |
| (termFormat ChineseLanguage mothersBrothersWife "妈妈兄弟的妻子") | domainEnglishFormat.kif 38733-38733 | |
| (termFormat ChineseTraditionalLanguage mothersBrothersWife "媽媽兄弟的妻子") | domainEnglishFormat.kif 38732-38732 | |
| (termFormat EnglishLanguage mothersBrothersWife "mothers brothers wife") | domainEnglishFormat.kif 38731-38731 |
| antecedent |
|
|
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 618-624 |
|
|
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