Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| mothersBrothersWife |
| appearance as argument number 1 |
|
| (instance mothersBrothersWife BinaryPredicate) | ArabicCulture.kif 623-623 | mothers brothers wife is an instance of binary predicate |
| (subrelation mothersBrothersWife familyRelation) | ArabicCulture.kif 624-624 | mothers brothers wife is a subrelation of family relation |
| (domain mothersBrothersWife 1 Organism) | ArabicCulture.kif 625-625 | The number 1 argument of mothers brothers wife is an instance of organism |
| (domain mothersBrothersWife 2 Organism) | ArabicCulture.kif 626-626 | The number 2 argument of mothers brothers wife is an instance of organism |
| (documentation mothersBrothersWife EnglishLanguage "In Arabic: zawojap AlxaAl. Wife of mother's brother.") | ArabicCulture.kif 627-628 | The number 2 argument of mothers brothers wife is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage mothersBrothersWife "the mother's brother's wife of %1 is %2") | domainEnglishFormat.kif 3894-3894 | |
| (format ChineseTraditionalLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") | domainEnglishFormat.kif 3895-3895 | |
| (format ChineseLanguage mothersBrothersWife "%1 的 mother's brother's wife 是 %2 ") | domainEnglishFormat.kif 3896-3896 | |
| (termFormat EnglishLanguage mothersBrothersWife "mothers brothers wife") | domainEnglishFormat.kif 38699-38699 | |
| (termFormat ChineseTraditionalLanguage mothersBrothersWife "媽媽兄弟的妻子") | domainEnglishFormat.kif 38700-38700 | |
| (termFormat ChineseLanguage mothersBrothersWife "妈妈兄弟的妻子") | domainEnglishFormat.kif 38701-38701 |
| antecedent |
|
|
| (=> (mothersBrothersWife ?P ?W) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (wife ?UNC ?W)))) |
ArabicCulture.kif 629-635 | If the mother's brother's wife of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the wife of Y |
|