(=>
(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 1758-1778 |
If X is an instance of shield, then X has the purpose there exist Y, Z, W such that Y is an instance of protecting, X is an instrument for Y, Z is an instance of human, Z is a patient of Y, and Y prevents the occurrence of the class described by W |
(=>
(instance ?X Protecting)
(hasPurpose ?X
(exists (?OBJ ?T ?H ?HARM)
(and
(instance ?OBJ Object)
(patient ?X Object)
(subclass ?HARM
(KappaFn ?H
(and
(or
(instance ?H CriminalAction)
(instance ?H Damaging))
(=>
(holdsDuring ?T
(patient ?H ?OBJ))
(not
(holdsDuring ?T
(patient ?X ?OBJ)))))))
(or
(prevents ?X ?HARM)
(hinders ?X ?HARM)))))) |
Mid-level-ontology.kif 20326-20347 |
If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V |
(=>
(and
(instance ?B Blockade)
(instance ?C Contest)
(subProcess ?B ?C)
(contestParticipant ?C ?A1)
(agent ?B ?A1))
(exists (?C1 ?A2)
(and
(prevents ?C1 Translocation)
(instance ?B ?C1)
(contestParticipant ?C ?A2)
(not
(equal ?A1 ?A2))
(desires ?A2
(exists (?I)
(and
(instance ?I ?C1)
(agent ?I ?A1)
(subProcess ?I ?C))))))) |
Mid-level-ontology.kif 24069-24088 |
If X is an instance of blockade, Y is an instance of contest, X is a subprocess of Y, Z participates in Y, and Z is an agent of X, then All of the following hold: (1) there exist W (2) V such that W prevents the occurrence of translocation (3) X is an instance of W (4) V participates in Y (5) equal Z (6) V (7) V desires there exists U such that U is an instance of W (8) Z is an agent of U (9) U is a subprocess of Y |
(=>
(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 33327-33347 |
If safety position is an attribute of X holds during Y, then X has the purpose there exist Z, W,, , V, U such that W is an instance of human, Z is an instance of process, W is a patient of Z, X is an agent of Z, and Z prevents the occurrence of the class described by V holds during Y |
(=>
(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))))))))))) |
Mid-level-ontology.kif 33439-33457 |
If X is an instance of safety device, then X has the purpose there exist Y, Z,, , W, V such that Z is an instance of human, Y is an instance of process, Z is a patient of Y, X is an instrument for Y, and Y prevents the occurrence of the class described by W |
(=>
(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 3254-3282 |
If X is an instance of safety harness, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, X is an instrument for Z, Y is a patient of Z, W is a subclass of the class described by V, and Z prevents the occurrence of W |
(=>
(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 3312-3341 |
If X is an instance of hearing protection, Y is an instance of human, and Y wears X, then X has the purpose there exist Z, W, V such that Z is an instance of process, W is a subclass of the class described by V, Z prevents the occurrence of W, and X is an instrument for Z |
(=>
(instance ?PE ProtectiveEyewear)
(hasPurpose ?PE
(=>
(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 3347-3373 |
If X is an instance of protective eyewear, then X has the purpose Y is an instance of human, Y wears Xthere exist Z, W,, , V,, , U, T such that Z is an instance of process, X is an instrument for Z, V is a subclass of the class described by U, and Z prevents the occurrence of V |
(=>
(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 3395-3416 |
If X is an instance of respirator, Y is an instance of animal, and Y wears X, then X has the purpose there exist Z, W,, , V, U such that V is an instance of process, X is an instrument for V, V prevents the occurrence of W, and W is a subclass of the class described by U |
(=>
(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 3543-3572 |
If X is an instance of seat belt, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an instance of vehicle (3) X is a part of W (4) Y is an instance of human (5) W contains Y (6) Z is an instance of process (7) Z prevents the occurrence of the class described by V |
(=>
(instance ?PKU PeacekeepingUnit)
(capability
(KappaFn ?P
(and
(instance ?P Process)
(instance ?V ViolentContest)
(prevents ?P ?V))) agent ?PKU)) |
Military.kif 91-98 |
If X is an instance of peacekeeping unit, then X is capable of doing the class described by Y as a agent |
(=>
(instance ?W AntiAircraftWarfare)
(hasPurpose ?W
(exists (?CLASS ?C)
(and
(subclass ?CLASS AerialWarfare)
(prevents ?W ?CLASS)
(instance ?C ?CLASS)
(attribute ?C Enemy))))) |
Military.kif 383-391 |
If X is an instance of anti-aircrraft warfare, then X has the purpose there exist Y, Z such that Y is a subclass of aerial warfare, X prevents the occurrence of Y, Z is an instance of Y, and enemy is an attribute of Z |
(=>
(and
(instance ?CO CounterproliferationWMD)
(agent ?CO ?AGENT))
(exists (?ENEMY ?OP)
(and
(enemy ?AGENT ?ENEMY)
(agent ?OP ?ENEMY)
(instance ?OP ProliferationWMD)
(hasPurpose ?CO
(prevents ?CO ProliferationWMD))))) |
MilitaryProcesses.kif 1500-1510 |
If X is an instance of counterproliferationWM d and Y is an agent of X, then there exist Z, W such that Y, Z are enemies of each other, Z is an agent of W, W is an instance of proliferationWMD, and X has the purpose X prevents the occurrence of proliferationWMD |
(=>
(instance ?CO CounterTerrorism)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS Terrorism)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2055-2065 |
If X is an instance of counter terrorism, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of terrorism (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
(=>
(instance ?CO CounterOperation)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS MilitaryOperation)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2197-2207 |
If X is an instance of counter operation, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of military operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
(=>
(instance ?CO CounterReconnaissance)
(hasPurpose ?CO
(exists (?AGENT ?ENEMY ?OP ?CLASS)
(and
(agent ?CO ?AGENT)
(enemy ?AGENT ?ENEMY)
(subclass ?CLASS ReconnaissanceOperation)
(instance ?OP ?CLASS)
(agent ?OP ?ENEMY)
(prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2216-2226 |
If X is an instance of counter reconnaissance, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of reconnaissance operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V |
prevents