(=>
(attribute ?W Housewife)
(exists (?H)
(wife ?W ?H))) |
Mid-level-ontology.kif 22829-22832 |
If housewife is an attribute of X, then there exists Y such that X is the wife of Y |
(=>
(instance ?MS MuakharSadaq)
(exists (?H ?W ?T1 ?T2)
(and
(agent ?MS ?H)
(origin ?MS ?H)
(destination ?MS ?W)
(holdsDuring ?T1
(wife ?W ?H))
(not
(holdsDuring ?T2
(wife ?W ?H)))
(finishes ?T1 ?MS)
(before ?T1 ?T2)
(starts ?T2 ?MS)))) |
ArabicCulture.kif 285-299 |
If X is an instance of muakhar sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y holds during W (6) Z is the wife of Y doesn't hold during V (7) W finishes X (8) W happens before V (9) V starts X |
(=>
(instance ?MS MuqaddamSadaq)
(exists (?H ?W ?T1 ?T2)
(and
(agent ?MS ?H)
(origin ?MS ?H)
(destination ?MS ?W)
(not
(holdsDuring ?T1
(wife ?W ?H)))
(holdsDuring ?T2
(wife ?W ?H))
(finishes ?T1 ?MS)
(before ?T1 ?T2)
(starts ?T2 ?MS)))) |
ArabicCulture.kif 305-319 |
If X is an instance of muqaddam sadaq, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Z is the wife of Y doesn't hold during W (6) Z is the wife of Y holds during V (7) W finishes X (8) W happens before V (9) V starts X |
(=>
(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 |
