maternalUncle |
appearance as argument number 1 |
(documentation maternalUncle EnglishLanguage "In Arabic: xaAl. Mother's brother, maternal uncle.") | ArabicCulture.kif 571-572 | |
(instance maternalUncle BinaryPredicate) | ArabicCulture.kif 569-569 | maternalUncle è un' istanza di PredicatoBinario |
(subrelation maternalUncle familyRelation) | ArabicCulture.kif 570-570 | maternalUncle è una sottorelazione di familyRelation |
appearance as argument number 2 |
(format ChineseLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") | domainEnglishFormat.kif 3826-3826 | |
(format ChineseTraditionalLanguage maternalUncle "%1 的 maternal uncle 是 %2 ") | domainEnglishFormat.kif 3825-3825 | |
(format EnglishLanguage maternalUncle "the maternal uncle of %1 is %2") | domainEnglishFormat.kif 3824-3824 | |
(termFormat ChineseLanguage maternalUncle "母方的叔叔") | domainEnglishFormat.kif 36485-36485 | |
(termFormat ChineseTraditionalLanguage maternalUncle "母方的叔叔") | domainEnglishFormat.kif 36484-36484 | |
(termFormat EnglishLanguage maternalUncle "maternal uncle") | domainEnglishFormat.kif 36483-36483 |
antecedent |
(=> (maternalUncle ?P ?UNC) (exists (?M) (and (mother ?P ?M) (brother ?UNC ?M)))) |
ArabicCulture.kif 573-578 |