TreeView Knowledge Base Browser - mothersBrothersSon

appearance as argument number 1

(instance mothersBrothersSon BinaryPredicate)	ArabicCulture.kif 693-693	mothers brothers son is an instance of binary predicate
(subrelation mothersBrothersSon familyRelation)	ArabicCulture.kif 694-694	mothers brothers son is a subrelation of family relation
(domain mothersBrothersSon 1 Organism)	ArabicCulture.kif 695-695	The number 1 argument of mothers brothers son is an instance of organism
(domain mothersBrothersSon 2 Organism)	ArabicCulture.kif 696-696	The number 2 argument of mothers brothers son is an instance of organism
(documentation mothersBrothersSon EnglishLanguage "In Arabic: Aibon AlxaAl. Male cousin on the mother's side, son of mother's brother.")	ArabicCulture.kif 697-698	The number 2 argument of mothers brothers son is an instance of organism

appearance as argument number 2

(format EnglishLanguage mothersBrothersSon "the mother's brother's son of %1 is %2")	domainEnglishFormat.kif 3890-3890
(format ChineseTraditionalLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ")	domainEnglishFormat.kif 3891-3891
(format ChineseLanguage mothersBrothersSon "%1 的 mother's brother's son 是 %2 ")	domainEnglishFormat.kif 3892-3892
(termFormat EnglishLanguage mothersBrothersSon "mothers brothers son")	domainEnglishFormat.kif 38693-38693
(termFormat ChineseTraditionalLanguage mothersBrothersSon "母親兄弟的兒子")	domainEnglishFormat.kif 38694-38694
(termFormat ChineseLanguage mothersBrothersSon "母亲兄弟的儿子")	domainEnglishFormat.kif 38695-38695

antecedent

(=>
    (mothersBrothersSon ?P ?H)
    (exists (?M ?UNC)
        (and
            (mother ?P ?M)
            (brother ?M ?UNC)
            (son ?UNC ?H))))

ArabicCulture.kif 699-705

If the mother's brother's son of X is Y, then there exist Z, W such that Z is a mother 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: