(=>
(instance ?P Parasite)
(modalAttribute
(exists (?H ?PROC)
(and
(located ?P ?H)
(involvedInEvent ?PROC ?P)
(involvedInEvent ?PROC ?H)
(benefits ?PROC ?P)
(suffers ?PROC ?H))) Likely)) |
Mid-level-ontology.kif 7013-7023 |
If X is an instance of parasite, then the statement there exist Y, Z such that X is located at Y, X is an involved in event of Z, Y is an involved in event of Z, X is a beneficiary of Z, and Y suffers from Z has the modal force of likely |
(=>
(victim ?P ?V)
(suffers ?P ?V)) |
Mid-level-ontology.kif 17780-17782 |
If X is the victim in Y, then X suffers from Y |
(=>
(instance ?D Defrauding)
(exists (?A ?P ?O)
(and
(agent ?D ?A)
(suffers ?D ?P)
(benefits ?D ?A)
(objectTransferred ?D ?O)
(origin ?O ?P)
(destination ?O ?A)))) |
Mid-level-ontology.kif 20216-20225 |
If X is an instance of defrauding, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Z suffers from X (4) Y is a beneficiary of X (5) the object transferred in X is W (6) W originates at Z (7) W ends up at Y |
(=>
(benefits ?A ?B)
(not
(suffers ?A ?B))) |
Mid-level-ontology.kif 32197-32200 |
If X is a beneficiary of Y, then X suffers from Y |
(=>
(and
(instance ?A Apologizing)
(agent ?A ?AG)
(destination ?A ?P))
(exists (?ACT)
(and
(suffers ?ACT ?P)
(agent ?ACT ?AG)
(holdsDuring
(WhenFn ?A)
(not
(wants ?AG ?ACT)))))) |
Mid-level-ontology.kif 32227-32239 |
If X is an instance of apologizing, Y is an agent of X, and X ends up at Z, then there exists W such that Z suffers from W, Y is an agent of W, and Y doesn't want W holds during the time of existence of X |
(=>
(punishes ?A ?H)
(exists (?P)
(and
(agent ?P ?A)
(suffers ?P ?H)))) |
Law.kif 140-145 |
If X punishes Y, then there exists Z such that X is an agent of Z and Y suffers from Z |
(=>
(and
(employs ?ORG ?P)
(employs ?ORG ?CO)
(instance ?D DoNetworkMessaging)
(result ?D ?MSG)
(attribute ?MSG NSFW)
(agent ?D ?P)
(instance ?S Seeing)
(patient ?S ?MSG)
(agent ?S ?CO))
(modalAttribute
(exists (?PROC)
(and
(causes ?D ?PROC)
(suffers ?PROC ?P))) Likely)) |
Medicine.kif 3028-3044 |
If All of the following hold: (1) X employs Y (2) X employs Z (3) W is an instance of do network messaging (4) V is a result of W (5) not safe for work is an attribute of V (6) Y is an agent of W (7) U is an instance of seeing (8) V is a patient of U (9) Z is an agent of U, then the statement there exists T such that W causes T and Y suffers from T has the modal force of likely |
(=>
(and
(employs ?ORG ?CO)
(instance ?D DoNetworkMessaging)
(result ?D ?MSG)
(attribute ?MSG NSFW)
(instance ?S Seeing)
(patient ?S ?MSG)
(agent ?S ?CO))
(modalAttribute
(exists (?PROC)
(and
(causes ?S ?PROC)
(suffers ?PROC ?CO))) Possibility)) |
Medicine.kif 3046-3060 |
If All of the following hold: (1) X employs Y (2) Z is an instance of do network messaging (3) W is a result of Z (4) not safe for work is an attribute of W (5) V is an instance of seeing (6) W is a patient of V (7) Y is an agent of V, then the statement there exists U such that V causes U and Y suffers from U has the modal force of possibility |
(=>
(member ?X AntiVaxxer)
(believes ?X
(=>
(and
(instance ?V Vaccination)
(experiencer ?V ?H))
(suffers ?V ?H)))) |
Medicine.kif 3067-3074 |
If X is a member of anti-vaxxer, then X believes Y is an instance of vaccination and Z experiences YZ suffers from Y |
(=>
(and
(instance ?G Gaslighting)
(agent ?G ?A)
(suffers ?G ?H))
(exists (?P)
(and
(instance ?P Perception)
(experiencer ?P ?H)
(causesProposition
(suffers ?G ?H)
(not
(knows ?H
(result ?P ?R))))))) |
Medicine.kif 3696-3709 |
If X is an instance of gaslighting, Y is an agent of X, and Z suffers from X, then there exists W such that W is an instance of perception, Z experiences W, and Z doesn't know V is not a result of W is a causes proposition of Z suffers from X |
