TreeView Knowledge Base Browser

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

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