TreeView Knowledge Base Browser - fathersBrothersSon

appearance as argument number 1

(instance fathersBrothersSon BinaryPredicate)	ArabicCulture.kif 665-665	fathers brothers son is an instance of binary predicate
(subrelation fathersBrothersSon familyRelation)	ArabicCulture.kif 666-666	fathers brothers son is a subrelation of family relation
(domain fathersBrothersSon 1 Organism)	ArabicCulture.kif 667-667	The number 1 argument of fathers brothers son is an instance of organism
(domain fathersBrothersSon 2 Organism)	ArabicCulture.kif 668-668	The number 2 argument of fathers brothers son is an instance of organism
(documentation fathersBrothersSon EnglishLanguage "In Arabic: Aibon AlEam~. Son of father's brother.")	ArabicCulture.kif 669-670	The number 2 argument of fathers brothers son is an instance of organism

appearance as argument number 2

(format EnglishLanguage fathersBrothersSon "%1 is the father's brother's son of %2")	domainEnglishFormat.kif 3402-3402
(format ChineseTraditionalLanguage fathersBrothersSon "%1 是 %2 的 father's brother's son ")	domainEnglishFormat.kif 3403-3403
(format ChineseLanguage fathersBrothersSon "%1 是 %2 的 father's brother's son ")	domainEnglishFormat.kif 3404-3404
(termFormat EnglishLanguage fathersBrothersSon "fathers brothers son")	domainEnglishFormat.kif 23368-23368
(termFormat ChineseTraditionalLanguage fathersBrothersSon "父親兄弟的兒子")	domainEnglishFormat.kif 23369-23369
(termFormat ChineseLanguage fathersBrothersSon "父亲兄弟的儿子")	domainEnglishFormat.kif 23370-23370

antecedent

(=>
    (fathersBrothersSon ?P ?H)
    (exists (?F ?UNC)
        (and
            (father ?P ?F)
            (brother ?F ?UNC)
            (son ?UNC ?H))))

ArabicCulture.kif 671-677

If X is the father's brother's son of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the son of Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: