TreeView Knowledge Base Browser

appearance as argument number 1

(instance fathersSistersSon BinaryPredicate)	ArabicCulture.kif 721-721	fathers sisters son is an instance of binary predicate
(subrelation fathersSistersSon familyRelation)	ArabicCulture.kif 722-722	fathers sisters son is a subrelation of family relation
(domain fathersSistersSon 1 Organism)	ArabicCulture.kif 723-723	The number 1 argument of fathers sisters son is an instance of organism
(domain fathersSistersSon 2 Organism)	ArabicCulture.kif 724-724	The number 2 argument of fathers sisters son is an instance of organism
(documentation fathersSistersSon EnglishLanguage "In Arabic: Aibon AlEam~ap. Son of father's sister.")	ArabicCulture.kif 725-726	The number 2 argument of fathers sisters son is an instance of organism

appearance as argument number 2

(format EnglishLanguage fathersSistersSon "%1 is the father's sister's son of %2")	domainEnglishFormat.kif 3418-3418
(format ChineseTraditionalLanguage fathersSistersSon "%1 是 %2 的father's sister's son ")	domainEnglishFormat.kif 3419-3419
(format ChineseLanguage fathersSistersSon "%1 是 %2 的father's sister's son ")	domainEnglishFormat.kif 3420-3420
(termFormat EnglishLanguage fathersSistersSon "fathers sisters son")	domainEnglishFormat.kif 23392-23392
(termFormat ChineseTraditionalLanguage fathersSistersSon "父親姐妹的兒子")	domainEnglishFormat.kif 23393-23393
(termFormat ChineseLanguage fathersSistersSon "父亲姐妹的儿子")	domainEnglishFormat.kif 23394-23394

antecedent

(=>
    (fathersSistersSon ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (son ?AUN ?H))))

ArabicCulture.kif 727-733

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