(=>
(and
(parent ?CHILD ?PARENT)
(instance ?CHILD Woman))
(daughter ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25351-25355 |
If X is a parent of Y and Y is an instance of woman, then Y is the daughter of X |
(<=>
(niece ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(daughter ?N ?S)))) |
Mid-level-ontology.kif 25441-25446 |
X is the niece of Y if, only if there exists Z such that Z is a sibling of Y, and X is the daughter of Z |
(=>
(fathersBrothersDaughter ?P ?H)
(exists (?F ?UNC)
(and
(father ?P ?F)
(brother ?F ?UNC)
(daughter ?UNC ?H)))) |
ArabicCulture.kif 685-691 |
If X is the father's brother's daughter of Y, then there exist Z, W such that Z is a father of X, Z is the brother of W, and W is the daughter of Y |
(=>
(mothersBrothersDaughter ?P ?H)
(exists (?M ?UNC)
(and
(mother ?P ?M)
(brother ?M ?UNC)
(daughter ?UNC ?H)))) |
ArabicCulture.kif 713-719 |
If the mother's brother's daughter of X is Y, then there exist Z, W such that Z is a mother of X, Z is the brother of W, and W is the daughter 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 |
(=>
(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 |
