(<=>
(aunt ?A ?H)
(exists (?P)
(and
(sister ?A ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 25364-25369 |
X is the aunt of Y if, only if there exists Z such that X is the sister of Z, and Z is a parent of Y |
(=>
(paternalAunt ?P ?AUN)
(exists (?F)
(and
(father ?P ?F)
(sister ?F ?AUN)))) |
ArabicCulture.kif 589-594 |
If the paternal aunt of X is Y, then there exists Z such that Z is a father of X and Z is the sister of Y |
(=>
(maternalAunt ?P ?AUN)
(exists (?M)
(and
(mother ?P ?M)
(sister ?M ?AUN)))) |
ArabicCulture.kif 602-607 |
If the maternal aunt of X is Y, then there exists Z such that Z is a mother of X and Z is the sister of Y |
(=>
(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 |
(=>
(mothersSistersHusband ?P ?H)
(exists (?M ?AUN)
(and
(mother ?P ?M)
(sister ?M ?AUN)
(husband ?AUN ?H)))) |
ArabicCulture.kif 657-663 |
If the mother's sister's husband 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 husband of Y |
(=>
(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 |
(=>
(fathersSistersDaughter ?P ?H)
(exists (?F ?AUN)
(and
(father ?P ?F)
(sister ?F ?AUN)
(daughter ?AUN ?H)))) |
ArabicCulture.kif 741-747 |
If X is the father's sister's daughter 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 daughter of Y |
(=>
(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 |
(=>
(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 |
