Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| mothersBrothersSon |
| appearance as argument number 1 |
|
| (instance mothersBrothersSon BinaryPredicate) | ArabicCulture.kif 693-693 | mothers brothers son is an instance of binary predicate |
| (subrelation mothersBrothersSon familyRelation) | ArabicCulture.kif 694-694 | mothers brothers son is a subrelation of family relation |
| (domain mothersBrothersSon 1 Organism) | ArabicCulture.kif 695-695 | The number 1 argument of mothers brothers son is an instance of organism |
| (domain mothersBrothersSon 2 Organism) | ArabicCulture.kif 696-696 | The number 2 argument of mothers brothers son is an instance of organism |
| (documentation mothersBrothersSon EnglishLanguage "In Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother.") | ArabicCulture.kif 697-698 | The number 2 argument of mothers brothers son is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2") | domainEnglishFormat.kif 3890-3890 | |
| (format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") | domainEnglishFormat.kif 3891-3891 | |
| (format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ") | domainEnglishFormat.kif 3892-3892 | |
| (termFormat EnglishLanguage mothersBrothersSon "mothers brothers son") | domainEnglishFormat.kif 38693-38693 | |
| (termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子") | domainEnglishFormat.kif 38694-38694 | |
| (termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子") | domainEnglishFormat.kif 38695-38695 |
| antecedent |
|
|
| (=> (mothersBrothersSon ?P ?H) (exists (?M ?UNC) (and (mother ?P ?M) (brother ?M ?UNC) (son ?UNC ?H)))) |
ArabicCulture.kif 699-705 | If the mother's brother's son 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 son of Y |
|