Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| mothersSistersHusband |
| appearance as argument number 1 |
|
| (instance mothersSistersHusband BinaryPredicate) | ArabicCulture.kif 651-651 | mothers sisters husband is an instance of binary predicate |
| (subrelation mothersSistersHusband familyRelation) | ArabicCulture.kif 652-652 | mothers sisters husband is a subrelation of family relation |
| (domain mothersSistersHusband 1 Organism) | ArabicCulture.kif 653-653 | The number 1 argument of mothers sisters husband is an instance of organism |
| (domain mothersSistersHusband 2 Organism) | ArabicCulture.kif 654-654 | The number 2 argument of mothers sisters husband is an instance of organism |
| (documentation mothersSistersHusband EnglishLanguage "In Arabic: zawoj AlxaAlap. Husband of mother's sister.") | ArabicCulture.kif 655-656 | The number 2 argument of mothers sisters husband is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage mothersSistersHusband "the mother's sister's husband of %1 is %2") | domainEnglishFormat.kif 3902-3902 | |
| (format ChineseTraditionalLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") | domainEnglishFormat.kif 3903-3903 | |
| (format ChineseLanguage mothersSistersHusband "%1 的 mother's sister's husband 是 %2 ") | domainEnglishFormat.kif 3904-3904 | |
| (termFormat EnglishLanguage mothersSistersHusband "mothers sisters husband") | domainEnglishFormat.kif 38711-38711 | |
| (termFormat ChineseTraditionalLanguage mothersSistersHusband "母親姐妹的丈夫") | domainEnglishFormat.kif 38712-38712 | |
| (termFormat ChineseLanguage mothersSistersHusband "母亲姐妹的丈夫") | domainEnglishFormat.kif 38713-38713 |
| antecedent |
|
|
| (=> (mothersSistersHusband ?P ?H) (exists (?M ?AUN) (and (mother ?P ?M) (sister ?M ?AUN) (husband ?AUN ?H)))) |
ArabicCulture.kif 657-663 | If the mother's sister's husband of X is Y, then there exist Z, W such that Z is a mother of X, Z is the sister of W, and W is the husband of Y |
|