(<=>
(uncle ?U ?H)
(exists (?P)
(and
(brother ?U ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 25455-25460 |
The uncle of X is Y if, only if there exists Z such that Y is the brother of Z, and Z is a parent of X |
(=>
(paternalUncle ?P ?UNC)
(exists (?F)
(and
(father ?P ?F)
(brother ?F ?UNC)))) |
ArabicCulture.kif 563-568 |
If the paternal uncle of X is Y, then there exists Z such that Z is a father of X and Z is the brother of Y |
(=>
(maternalUncle ?P ?UNC)
(exists (?M)
(and
(mother ?P ?M)
(brother ?UNC ?M)))) |
ArabicCulture.kif 576-581 |
If the maternal uncle of X is Y, then there exists Z such that Z is a mother of X and Y is the brother of Z |
(=>
(fathersBrothersWife ?P ?W)
(exists (?F ?UNC)
(and
(father ?P ?F)
(brother ?F ?UNC)
(wife ?UNC ?W)))) |
ArabicCulture.kif 615-621 |
If X is the father's brother's wife 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 wife of Y |
(=>
(mothersBrothersWife ?P ?W)
(exists (?M ?UNC)
(and
(mother ?P ?M)
(brother ?M ?UNC)
(wife ?UNC ?W)))) |
ArabicCulture.kif 629-635 |
If the mother's brother's wife 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 wife of Y |
(=>
(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 |
(=>
(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 |
(=>
(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 |
(=>
(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 |
