Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| paternalUncle |
| appearance as argument number 1 |
|
| (instance paternalUncle BinaryPredicate) | ArabicCulture.kif 557-557 | paternal uncle is an instance of binary predicate |
| (subrelation paternalUncle familyRelation) | ArabicCulture.kif 558-558 | paternal uncle is a subrelation of family relation |
| (domain paternalUncle 1 Organism) | ArabicCulture.kif 559-559 | The number 1 argument of paternal uncle is an instance of organism |
| (domain paternalUncle 2 Organism) | ArabicCulture.kif 560-560 | The number 2 argument of paternal uncle is an instance of organism |
| (documentation paternalUncle EnglishLanguage "In Arabic: Eam~. Father's brother, paternal uncle.") | ArabicCulture.kif 561-562 | The number 2 argument of paternal uncle is an instance of organism |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage paternalUncle "the paternal uncle of %1 is %2") | domainEnglishFormat.kif 4096-4096 | |
| (format ChineseTraditionalLanguage paternalUncle "%1 的 paternal uncle 是 %2 ") | domainEnglishFormat.kif 4097-4097 | |
| (format ChineseLanguage paternalUncle "%1 的 paternal uncle 是 %2 ") | domainEnglishFormat.kif 4098-4098 | |
| (termFormat EnglishLanguage paternalUncle "paternal uncle") | domainEnglishFormat.kif 44753-44753 | |
| (termFormat ChineseTraditionalLanguage paternalUncle "父親的叔叔") | domainEnglishFormat.kif 44754-44754 | |
| (termFormat ChineseLanguage paternalUncle "父亲的叔叔") | domainEnglishFormat.kif 44755-44755 |
| antecedent |
|
|
| (=> (paternalUncle ?P ?UNC) (exists (?F) (and (father ?P ?F) (brother ?F ?UNC)))) |
ArabicCulture.kif 563-568 | If the paternal uncle of X is Y, then there exists Z such that Z is a father of X and Z is the brother of Y |
|