(=>
(and
(parent ?CHILD ?PARENT)
(instance ?CHILD Man))
(son ?CHILD ?PARENT)) |
Mid-level-ontology.kif 25345-25349 |
If X is a parent of Y and Y is an instance of man, then Y is the son of X |
(<=>
(nephew ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(son ?N ?S)))) |
Mid-level-ontology.kif 25427-25432 |
X is the nephew of Y if, only if there exists Z such that Z is a sibling of Y, and X is the son of Z |
(=>
(fathersBrothersSon ?P ?H)
(exists (?F ?UNC)
(and
(father ?P ?F)
(brother ?F ?UNC)
(son ?UNC ?H)))) |
ArabicCulture.kif 671-677 |
If X is the father's brother's son 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 son of Y |
(=>
(mothersBrothersSon ?P ?H)
(exists (?M ?UNC)
(and
(mother ?P ?M)
(brother ?M ?UNC)
(son ?UNC ?H)))) |
ArabicCulture.kif 699-705 |
If the mother's brother's son 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 son 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 |
(=>
(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 |
