TreeView Knowledge Base Browser

appearance as argument number 1

(instance mothersSistersSon BinaryPredicate)	ArabicCulture.kif 749-749	mothers sisters son is an instance of binary predicate
(subrelation mothersSistersSon familyRelation)	ArabicCulture.kif 750-750	mothers sisters son is a subrelation of family relation
(domain mothersSistersSon 1 Organism)	ArabicCulture.kif 751-751	The number 1 argument of mothers sisters son is an instance of organism
(domain mothersSistersSon 2 Organism)	ArabicCulture.kif 752-752	The number 2 argument of mothers sisters son is an instance of organism
(documentation mothersSistersSon EnglishLanguage "In Arabic: Aibon AlxaAlap. Son of mother's sister.")	ArabicCulture.kif 753-754	The number 2 argument of mothers sisters son is an instance of organism

appearance as argument number 2

(format EnglishLanguage mothersSistersSon "the mother's sister's son of %1 is %2")	domainEnglishFormat.kif 3906-3906
(format ChineseTraditionalLanguage mothersSistersSon "%1 的 mother's sister's son 是 %2 ")	domainEnglishFormat.kif 3907-3907
(format ChineseLanguage mothersSistersSon "%1 的 mother's sister's son 是 %2 ")	domainEnglishFormat.kif 3908-3908
(termFormat EnglishLanguage mothersSistersSon "mothers sisters son")	domainEnglishFormat.kif 38717-38717
(termFormat ChineseTraditionalLanguage mothersSistersSon "母親姐妹的兒子")	domainEnglishFormat.kif 38718-38718
(termFormat ChineseLanguage mothersSistersSon "母亲姐妹的儿子")	domainEnglishFormat.kif 38719-38719

antecedent

(=>
    (mothersSistersSon ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (son ?AUN ?H))))

ArabicCulture.kif 755-761

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