TreeView Knowledge Base Browser - fathersSistersHusband

appearance as argument number 1

(instance fathersSistersHusband BinaryPredicate)	ArabicCulture.kif 637-637	fathers sisters husband is an instance of binary predicate
(subrelation fathersSistersHusband familyRelation)	ArabicCulture.kif 638-638	fathers sisters husband is a subrelation of family relation
(domain fathersSistersHusband 1 Organism)	ArabicCulture.kif 639-639	The number 1 argument of fathers sisters husband is an instance of organism
(domain fathersSistersHusband 2 Organism)	ArabicCulture.kif 640-640	The number 2 argument of fathers sisters husband is an instance of organism
(documentation fathersSistersHusband EnglishLanguage "In Arabic: zawoj AlEam~ap. Husband of father's sister.")	ArabicCulture.kif 641-642	The number 2 argument of fathers sisters husband is an instance of organism

appearance as argument number 2

(format EnglishLanguage fathersSistersHusband "%1 is the father's sister's husband of %2")	domainEnglishFormat.kif 3414-3414
(format ChineseTraditionalLanguage fathersSistersHusband "%1 是 %2 的 father's sister's husband ")	domainEnglishFormat.kif 3415-3415
(format ChineseLanguage fathersSistersHusband "%1 是 %2 的 father's sister's husband ")	domainEnglishFormat.kif 3416-3416
(termFormat EnglishLanguage fathersSistersHusband "fathers sisters husband")	domainEnglishFormat.kif 23386-23386
(termFormat ChineseTraditionalLanguage fathersSistersHusband "父親姐妹的丈夫")	domainEnglishFormat.kif 23387-23387
(termFormat ChineseLanguage fathersSistersHusband "父亲姐妹的丈夫")	domainEnglishFormat.kif 23388-23388

antecedent

(=>
    (fathersSistersHusband ?P ?H)
    (exists (?F ?AUN)
        (and
            (father ?P ?F)
            (sister ?F ?AUN)
            (husband ?AUN ?H))))

ArabicCulture.kif 643-649

If X is the father's sister's husband 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 husband of Y

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

KB Term:			Term intersection

English Word: