TreeView Knowledge Base Browser

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))))

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