TreeView Knowledge Base Browser - mothersSistersDaughter

appearance as argument number 1

(instance mothersSistersDaughter BinaryPredicate)	ArabicCulture.kif 763-763	mothers sisters daughter is an instance of binary predicate
(subrelation mothersSistersDaughter familyRelation)	ArabicCulture.kif 764-764	mothers sisters daughter is a subrelation of family relation
(domain mothersSistersDaughter 1 Organism)	ArabicCulture.kif 765-765	The number 1 argument of mothers sisters daughter is an instance of organism
(domain mothersSistersDaughter 2 Organism)	ArabicCulture.kif 766-766	The number 2 argument of mothers sisters daughter is an instance of organism
(documentation mothersSistersDaughter EnglishLanguage "In Arabic: binot AlxaAlap. Daughter of mother's sister.")	ArabicCulture.kif 767-768	The number 2 argument of mothers sisters daughter is an instance of organism

appearance as argument number 2

(format EnglishLanguage mothersSistersDaughter "the mother's sister's daughter of %1 is %2")	domainEnglishFormat.kif 3898-3898
(format ChineseTraditionalLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ")	domainEnglishFormat.kif 3899-3899
(format ChineseLanguage mothersSistersDaughter "%1 的 mother's sister's daughter 是 %2 ")	domainEnglishFormat.kif 3900-3900
(termFormat EnglishLanguage mothersSistersDaughter "mothers sisters daughter")	domainEnglishFormat.kif 38705-38705
(termFormat ChineseTraditionalLanguage mothersSistersDaughter "母親姐妹的女兒")	domainEnglishFormat.kif 38706-38706
(termFormat ChineseLanguage mothersSistersDaughter "母亲姐妹的女儿")	domainEnglishFormat.kif 38707-38707

antecedent

(=>
    (mothersSistersDaughter ?P ?H)
    (exists (?M ?AUN)
        (and
            (mother ?P ?M)
            (sister ?M ?AUN)
            (daughter ?AUN ?H))))

ArabicCulture.kif 769-775

If the mother's sister's daughter 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 daughter of Y

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

KB Term:			Term intersection

English Word: