Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| maternalUncle |
| appearance as argument number 1 |
|
| (instance maternalUncle BinaryPredicate) | ArabicCulture.kif 570-570 | maternal uncle is an instance of binary predicate |
| (subrelation maternalUncle familyRelation) | ArabicCulture.kif 571-571 | maternal uncle is a subrelation of family relation |
| (domain maternalUncle 1 Organism) | ArabicCulture.kif 572-572 | The number 1 argument of maternal uncle is an instance of organism |
| (domain maternalUncle 2 Organism) | ArabicCulture.kif 573-573 | The number 2 argument of maternal uncle is an instance of organism |
| (documentation maternalUncle EnglishLanguage "In Arabic: xaAl. Mother's brother, maternal uncle.") | ArabicCulture.kif 574-575 | The number 2 argument of maternal uncle is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage maternalUncle "the maternal uncle of %1 is %2") | domainEnglishFormat.kif 3822-3822 | |
| (format ChineseTraditionalLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") | domainEnglishFormat.kif 3823-3823 | |
| (format ChineseLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") | domainEnglishFormat.kif 3824-3824 | |
| (termFormat EnglishLanguage maternalUncle "maternal uncle") | domainEnglishFormat.kif 36485-36485 | |
| (termFormat ChineseTraditionalLanguage maternalUncle "母方的叔叔") | domainEnglishFormat.kif 36486-36486 | |
| (termFormat ChineseLanguage maternalUncle "母方的叔叔") | domainEnglishFormat.kif 36487-36487 |
| antecedent |
|
|
| (=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 576-581 | If the maternal uncle of X is Y, then there exists Z such that Z is a mother of X and Y is the brother of Z |
|