Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fathersSistersSon |
| appearance as argument number 1 |
|
| (instance fathersSistersSon BinaryPredicate) | ArabicCulture.kif 721-721 | fathers sisters son is an instance of binary predicate |
| (subrelation fathersSistersSon familyRelation) | ArabicCulture.kif 722-722 | fathers sisters son is a subrelation of family relation |
| (domain fathersSistersSon 1 Organism) | ArabicCulture.kif 723-723 | The number 1 argument of fathers sisters son is an instance of organism |
| (domain fathersSistersSon 2 Organism) | ArabicCulture.kif 724-724 | The number 2 argument of fathers sisters son is an instance of organism |
| (documentation fathersSistersSon EnglishLanguage "In Arabic: Aibon AlEam~ap. Son of father's sister.") | ArabicCulture.kif 725-726 | The number 2 argument of fathers sisters son is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2") | domainEnglishFormat.kif 3418-3418 | |
| (format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") | domainEnglishFormat.kif 3419-3419 | |
| (format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ") | domainEnglishFormat.kif 3420-3420 | |
| (termFormat EnglishLanguage fathersSistersSon "fathers sisters son") | domainEnglishFormat.kif 23392-23392 | |
| (termFormat ChineseTraditionalLanguage fathersSistersSon "父親姐妹的兒子") | domainEnglishFormat.kif 23393-23393 | |
| (termFormat ChineseLanguage fathersSistersSon "父亲姐妹的儿子") | domainEnglishFormat.kif 23394-23394 |
| antecedent |
|
|
| (=> (fathersSistersSon ?P ?H) (exists (?F ?AUN) (and (father ?P ?F) (sister ?F ?AUN) (son ?AUN ?H)))) |
ArabicCulture.kif 727-733 | If X is the father's sister's son of Y, then there exist Z, W such that Z is a father of X, Z is the sister of W, and W is the son of Y |
|