(=>
(and
(instance ?HP HearingProtection)
(instance ?PERSON Human)
(wears ?PERSON ?HP))
(hasPurpose ?HP
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?SOUND ?HEAR ?HUMAN ?T)
(and
(instance ?SOUND RadiatingSound)
(instance ?HEAR Hearing)
(instance ?HUMAN Human)
(patient ?HEAR ?SOUND)
(experiencer ?HEAR ?HUMAN)
(causes ?HEAR ?I)
(experiencer ?I ?HUMAN)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ)
(instrument ?PROC ?HP))))) |
Cars.kif 3507-3536 |
|
(=>
(and
(instance ?INJ Damaging)
(instance ?ORGANISM Organism)
(patient ?INJ ?ORGANISM))
(instance ?INJ Injuring)) |
Merge.kif 10497-10502 |
|
(=>
(and
(instance ?SH SafetyHarness)
(instance ?PERSON Animal)
(wears ?PERSON ?SH))
(hasPurpose ?SH
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(instrument ?PROC ?SH)
(patient ?PROC ?PERSON)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?F ?H ?T)
(and
(instance ?H Human)
(experiencer ?I ?H)
(instance ?F Falling)
(experiencer ?F ?H)
(causes ?F ?I)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ))))) |
Cars.kif 3449-3477 |
|
(=>
(and
(instance ?V ViolentContest)
(patient ?V ?H)
(attribute ?H
(InjuryCausedFn ?PC))
(attribute ?H
(ImpairedBodyPartFn Airway)))
(modalAttribute
(or
(subclass ?PC Combustion)
(exists (?FI)
(and
(instance ?I Injuring)
(located ?I ?F)
(instance ?F Face)
(patient ?I ?H)))) Likely)) |
Medicine.kif 698-715 |
|
(=>
(and
(instance ?X Respirator)
(instance ?PERSON Animal)
(wears ?PERSON ?X))
(hasPurpose ?X
(exists (?INHAL ?INJ ?PROTECT ?I)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?X)
(prevents ?PROTECT ?INJ)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?H)
(and
(instance ?H Human)
(patient ?I ?H)
(instance ?INHAL Inhaling)
(agent ?INHAL ?H)
(causes ?I ?INHAL)))))))))) |
Cars.kif 3591-3612 |
|
(=>
(attribute ?H
(InjuryCausedFn ?PC))
(exists (?I ?P)
(and
(instance ?I Injuring)
(patient ?I ?H)
(instance ?P ?PC)
(causes ?P ?I)))) |
Medicine.kif 403-410 |
|
(=>
(attribute ?H Bruise)
(exists (?I ?P)
(and
(instance ?I Injuring)
(patient ?I ?H)
(instance ?P Bleeding)
(causes ?P ?I)))) |
Medicine.kif 425-432 |
|
(=>
(holdsDuring ?T
(attribute ?X SafetyPosition))
(holdsDuring ?T
(hasPurpose ?X
(exists (?P ?H ?I ?T2)
(and
(instance ?H Human)
(instance ?P Process)
(patient ?P ?H)
(agent ?P ?X)
(prevents ?P
(KappaFn ?I
(and
(instance ?I Injuring)
(=>
(holdsDuring ?T2
(experiencer ?I ?H))
(not
(holdsDuring ?T2
(patient ?P ?H)))))))))))) |
Mid-level-ontology.kif 30996-31016 |
|
(=>
(instance ?A Ambulance)
(hasPurpose ?A
(exists (?P ?T)
(and
(instance ?P Human)
(or
(attribute ?P DiseaseOrSyndrome)
(exists (?I ?H)
(and
(instance ?I Injuring)
(experiencer ?I ?H)
(before ?I ?T))))
(instance ?T Transportation)
(instrument ?T ?A)
(patient ?T ?H))))) |
Transportation.kif 2046-2061 |
|
(=>
(instance ?BLEED Bleeding)
(exists (?INJURY)
(and
(instance ?INJURY Injuring)
(causes ?INJURY ?BLEED)))) |
Mid-level-ontology.kif 21672-21677 |
|
(=>
(instance ?C CSGas)
(hasPurpose ?C
(exists (?INJ ?ORG)
(and
(instance ?INJ Injuring)
(instrument ?INJ ?C)
(patient ?INJ ?ORG)
(instance ?ORG Animal))))) |
MilitaryDevices.kif 1345-1353 |
|
(=>
(instance ?CS ChestSeal)
(hasPurpose ?CS
(exists (?C ?CH ?I ?H)
(and
(instance ?C Closing)
(instrument ?C ?CS)
(located ?C ?CH)
(instance ?CH Chest)
(instance ?H HoleRegion)
(equal ?CH
(HoleHostFn ?H))
(instance ?I Injuring)
(located ?I ?CH)
(earlier
(WhenFn ?I)
(WhenFn ?C)))))) |
Medicine.kif 828-844 |
|
(=>
(instance ?L Lesion)
(exists (?I)
(and
(instance ?I Injuring)
(result ?I ?L)))) |
Mid-level-ontology.kif 9607-9612 |
|
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(=>
(exists (?PERSON)
(and
(instance ?PERSON Human)
(wears ?PERSON ?PE)))
(exists (?PROTECT ?EYE ?INJ ?I ?T)
(and
(instance ?PROTECT Process)
(instrument ?PROTECT ?PE)
(subclass ?INJ
(KappaFn ?I
(exists (?HUMAN)
(and
(instance ?I Injuring)
(instance ?EYE Eye)
(instance ?HUMAN Human)
(properPart ?EYE ?HUMAN)
(patient ?I ?EYE)
(=>
(holdsDuring ?T
(patient ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROTECT ?PERSON))))))))
(prevents ?PROTECT ?INJ)))))) |
Cars.kif 3542-3569 |
|
(=>
(instance ?S Shield)
(hasPurpose ?S
(exists (?P ?H ?I)
(and
(instance ?P Protecting)
(instrument ?P ?S)
(instance ?H Human)
(patient ?P ?H)
(prevents ?P
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?W)
(and
(instance ?W Weapon)
(instrument ?I ?W)))
(=>
(patient ?I ?H)
(not
(patient ?P ?H)))))))))) |
Mid-level-ontology.kif 1465-1485 |
|
(=>
(instance ?SE ShrapnelExplosion)
(hasPurpose ?SE
(exists (?P)
(and
(or
(instance ?P Injuring)
(instance ?P Killing))
(causes ?SE ?P))))) |
Medicine.kif 6287-6295 |
|
(=>
(instance ?SV SafetyVest)
(hasPurpose ?SV
(exists (?PERSON ?SPECTATOR)
(and
(instance ?PERSON Animal)
(instance ?SPECTATOR Human)
(increasesLikelihood
(wears ?PERSON ?SV)
(exists (?SEE)
(and
(instance ?SEE Seeing)
(patient ?SEE ?PERSON)
(experiencer ?SEE ?SPECTATOR))))
(decreasesLikelihood
(exists (?SEE)
(and
(instance ?SEE Seeing)
(patient ?SEE ?PERSON)
(experiencer ?SEE ?SPECTATOR)))
(exists (?INJ)
(and
(instance ?INJ Injuring)
(agent ?INJ ?SPECTATOR)
(patient ?INJ ?PERSON)))))))) |
Cars.kif 3618-3642 |
|
(=>
(instance ?X AutoAirbag)
(hasPurpose ?X
(exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(and
(instance ?CAR Automobile)
(part ?X ?CAR)
(instance ?PERSON Human)
(contains ?CAR ?PERSON)
(instance ?IMP Impacting)
(patient ?IMP ?CAR)
(instance ?INF Inflating)
(patient ?INF ?X)
(causes ?IMP ?INF)
(hinders ?INF
(KappaFn ?INJ
(and
(instance ?INJ Injuring)
(experiencer ?INJ ?PERSON)
(exists (?HIT)
(and
(instance ?HIT Impacting)
(destination ?HIT ?CAR)
(experiencer ?HIT ?PERSON)
(causes ?HIT ?INJ)))))))))) |
Cars.kif 3692-3716 |
|
(=>
(instance ?X SafetyDevice)
(hasPurpose ?X
(exists (?P ?H ?I ?T)
(and
(instance ?H Human)
(instance ?P Process)
(patient ?P ?H)
(instrument ?P ?X)
(prevents ?P
(KappaFn ?I
(and
(instance ?I Injuring)
(=>
(holdsDuring ?T
(experiencer ?I ?H))
(not
(holdsDuring ?T
(patient ?P ?H))))))))))) |
Cars.kif 3415-3433 |
|
(=>
(instance ?X SeatBelt)
(hasPurpose ?X
(exists (?PERSON ?STOP ?VEHICLE ?M)
(and
(instance ?VEHICLE Vehicle)
(part ?X ?VEHICLE)
(instance ?PERSON Human)
(contains ?VEHICLE ?PERSON)
(instance ?STOP Process)
(prevents ?STOP
(KappaFn ?M
(and
(instance ?M Translocation)
(patient ?M ?PERSON)
(exists (?COLLISION)
(and
(or
(instance ?COLLISION Decelerating)
(instance ?COLLISION Impacting))
(experiencer ?COLLISION ?VEHICLE)
(causes ?COLLISION ?M)))
(modalAttribute
(exists (?INJ ?IMP)
(and
(instance ?INJ Injuring)
(instance ?IMP Impacting)
(causes ?M ?INJ)
(patient ?INJ ?PERSON)
(subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3735-3764 |
|
(=>
(parasite ?O1 ?O2)
(exists (?I)
(and
(instance ?I Injuring)
(agent ?I ?O1)
(patient ?I ?O2)))) |
Mid-level-ontology.kif 6278-6284 |
|