| ! [V__S : $i] : ((s__instance(V__S, s__Shield) => s__hasPurpose(V__S, ( ? [V__P:$i, V__H:$i, V__I:$i] : ((s__instance(V__P, s__Protecting) & s__instrument(V__P, V__S) & s__instance(V__H, s__Human) & s__patient(V__P, V__H) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__W:$i] : ((s__instance(V__W, s__Weapon) & s__instrument(V__I, V__W)))) & (s__patient(V__I, V__H) => ~(s__patient(V__P, V__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 |
| ! [V__X : $i] : ((s__instance(V__X, s__Protecting) => s__hasPurpose(V__X, ( ? [V__OBJ:$i, V__T:$i, V__H:$i, V__HARM:$i] : ((s__instance(V__OBJ, s__Object) & s__patient(V__X, s__Object) & s__subclass(V__HARM, s__KappaFn(V__H, ((s__instance(V__H, s__CriminalAction) | s__instance(V__H, s__Damaging)) & (s__holdsDuring(V__T, s__patient(V__H, V__OBJ)) => ~(s__holdsDuring(V__T, s__patient(V__X, V__OBJ))))))) & (s__prevents(V__X, V__HARM) | s__hinders(V__X, V__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 |
| ! [V__A1 : $i,V__B : $i,V__C : $i] : (((s__instance(V__B, s__Blockade) & s__instance(V__C, s__Contest) & s__subProcess(V__B, V__C) & s__contestParticipant(V__C, V__A1) & s__agent(V__B, V__A1)) => ( ? [V__C1:$i, V__A2:$i] : ((s__prevents(V__C1, s__Translocation) & s__instance(V__B, V__C1) & s__contestParticipant(V__C, V__A2) & ~(V__A1 = V__A2) & s__desires(V__A2, ( ? [V__I:$i] : ((s__instance(V__I, V__C1) & s__agent(V__I, V__A1) & s__subProcess(V__I, V__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 |
| ! [V__T : $i,V__X : $i] : ((s__holdsDuring(V__T, s__attribute(V__X, s__SafetyPosition)) => s__holdsDuring(V__T, s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T2:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__agent(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T2, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T2, s__patient(V__P, V__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 |
| ! [V__X : $i] : ((s__instance(V__X, s__SafetyDevice) => s__hasPurpose(V__X, ( ? [V__P:$i, V__H:$i, V__I:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__instance(V__P, s__Process) & s__patient(V__P, V__H) & s__instrument(V__P, V__X) & s__prevents(V__P, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & (s__holdsDuring(V__T, s__experiencer(V__I, V__H)) => ~(s__holdsDuring(V__T, s__patient(V__P, V__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 |
| ! [V__PERSON : $i,V__SH : $i] : (((s__instance(V__SH, s__SafetyHarness) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__SH)) => s__hasPurpose(V__SH, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__instrument(V__PROC, V__SH) & s__patient(V__PROC, V__PERSON) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__F:$i, V__H:$i, V__T:$i] : ((s__instance(V__H, s__Human) & s__experiencer(V__I, V__H) & s__instance(V__F, s__Falling) & s__experiencer(V__F, V__H) & s__causes(V__F, V__I) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__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 |
| ! [V__HP : $i,V__PERSON : $i] : (((s__instance(V__HP, s__HearingProtection) & s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__HP)) => s__hasPurpose(V__HP, ( ? [V__PROC:$i, V__INJ:$i, V__I:$i] : ((s__instance(V__PROC, s__Process) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__SOUND:$i, V__HEAR:$i, V__HUMAN:$i, V__T:$i] : ((s__instance(V__SOUND, s__RadiatingSound) & s__instance(V__HEAR, s__Hearing) & s__instance(V__HUMAN, s__Human) & s__patient(V__HEAR, V__SOUND) & s__experiencer(V__HEAR, V__HUMAN) & s__causes(V__HEAR, V__I) & s__experiencer(V__I, V__HUMAN) & (s__holdsDuring(V__T, s__experiencer(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROC, V__PERSON)))))))))) & s__prevents(V__PROC, V__INJ) & s__instrument(V__PROC, V__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 |
| ! [V__PE : $i,V__PERSON : $i] : ((s__instance(V__PE, s__ProtectiveEyewear) => s__hasPurpose(V__PE, ((s__instance(V__PERSON, s__Human) & s__wears(V__PERSON, V__PE)) => ( ? [V__PROTECT:$i, V__EYE:$i, V__INJ:$i, V__I:$i, V__T:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__PE) & s__subclass(V__INJ, s__KappaFn(V__I, ( ? [V__HUMAN:$i] : ((s__instance(V__I, s__Injuring) & s__instance(V__EYE, s__Eye) & s__instance(V__HUMAN, s__Human) & s__properPart(V__EYE, V__HUMAN) & s__patient(V__I, V__EYE) & (s__holdsDuring(V__T, s__patient(V__I, V__PERSON)) => ~(s__holdsDuring(V__T, s__patient(V__PROTECT, V__PERSON))))))))) & s__prevents(V__PROTECT, V__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 |
| ! [V__PERSON : $i,V__X : $i] : (((s__instance(V__X, s__Respirator) & s__instance(V__PERSON, s__Animal) & s__wears(V__PERSON, V__X)) => s__hasPurpose(V__X, ( ? [V__INHAL:$i, V__INJ:$i, V__PROTECT:$i, V__I:$i] : ((s__instance(V__PROTECT, s__Process) & s__instrument(V__PROTECT, V__X) & s__prevents(V__PROTECT, V__INJ) & s__subclass(V__INJ, s__KappaFn(V__I, (s__instance(V__I, s__Injuring) & ( ? [V__H:$i] : ((s__instance(V__H, s__Human) & s__patient(V__I, V__H) & s__instance(V__INHAL, s__Inhaling) & s__agent(V__INHAL, V__H) & s__causes(V__I, V__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 |
| ! [V__X : $i] : ((s__instance(V__X, s__SeatBelt) => s__hasPurpose(V__X, ( ? [V__PERSON:$i, V__STOP:$i, V__VEHICLE:$i, V__M:$i] : ((s__instance(V__VEHICLE, s__Vehicle) & s__part(V__X, V__VEHICLE) & s__instance(V__PERSON, s__Human) & s__contains(V__VEHICLE, V__PERSON) & s__instance(V__STOP, s__Process) & s__prevents(V__STOP, s__KappaFn(V__M, (s__instance(V__M, s__Translocation) & s__patient(V__M, V__PERSON) & ( ? [V__COLLISION:$i] : (((s__instance(V__COLLISION, s__Decelerating) | s__instance(V__COLLISION, s__Impacting)) & s__experiencer(V__COLLISION, V__VEHICLE) & s__causes(V__COLLISION, V__M)))) & s__modalAttribute(( ? [V__INJ:$i, V__IMP:$i] : ((s__instance(V__INJ, s__Injuring) & s__instance(V__IMP, s__Impacting) & s__causes(V__M, V__INJ) & s__patient(V__INJ, V__PERSON) & s__subProcess(V__IMP, V__INJ)))), s__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 |
| ! [V__P : $i,V__PKU : $i,V__V : $i] : ((s__instance(V__PKU, s__PeacekeepingUnit) => s__capability(s__KappaFn(V__P, (s__instance(V__P, s__Process) & s__instance(V__V, s__ViolentContest) & s__prevents(V__P, V__V))), s__agent, V__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 |
| ! [V__W : $i] : ((s__instance(V__W, s__AntiAircraftWarfare) => s__hasPurpose(V__W, ( ? [V__CLASS:$i, V__C:$i] : ((s__subclass(V__CLASS, s__AerialWarfare) & s__prevents(V__W, V__CLASS) & s__instance(V__C, V__CLASS) & s__attribute(V__C, s__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 |
| ! [V__AGENT : $i,V__CO : $i] : (((s__instance(V__CO, s__CounterproliferationWMD) & s__agent(V__CO, V__AGENT)) => ( ? [V__ENEMY:$i, V__OP:$i] : ((s__enemy(V__AGENT, V__ENEMY) & s__agent(V__OP, V__ENEMY) & s__instance(V__OP, s__ProliferationWMD) & s__hasPurpose(V__CO, s__prevents(V__CO, s__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 |
| ! [V__CO : $i] : ((s__instance(V__CO, s__CounterTerrorism) => s__hasPurpose(V__CO, ( ? [V__AGENT:$i, V__ENEMY:$i, V__OP:$i, V__CLASS:$i] : ((s__agent(V__CO, V__AGENT) & s__enemy(V__AGENT, V__ENEMY) & s__subclass(V__CLASS, s__Terrorism) & s__instance(V__OP, V__CLASS) & s__agent(V__OP, V__ENEMY) & s__prevents(V__CO, V__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 |
| ! [V__CO : $i] : ((s__instance(V__CO, s__CounterOperation) => s__hasPurpose(V__CO, ( ? [V__AGENT:$i, V__ENEMY:$i, V__OP:$i, V__CLASS:$i] : ((s__agent(V__CO, V__AGENT) & s__enemy(V__AGENT, V__ENEMY) & s__subclass(V__CLASS, s__MilitaryOperation) & s__instance(V__OP, V__CLASS) & s__agent(V__OP, V__ENEMY) & s__prevents(V__CO, V__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 |
| ! [V__CO : $i] : ((s__instance(V__CO, s__CounterReconnaissance) => s__hasPurpose(V__CO, ( ? [V__AGENT:$i, V__ENEMY:$i, V__OP:$i, V__CLASS:$i] : ((s__agent(V__CO, V__AGENT) & s__enemy(V__AGENT, V__ENEMY) & s__subclass(V__CLASS, s__ReconnaissanceOperation) & s__instance(V__OP, V__CLASS) & s__agent(V__OP, V__ENEMY) & s__prevents(V__CO, V__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 |
