| ! [V__SV : $i] : ((s__instance(V__SV, s__SafetyVest) => s__hasPurpose(V__SV, ( ? [V__PERSON:$i, V__SPECTATOR:$i] : ((s__instance(V__PERSON, s__Animal) & s__instance(V__SPECTATOR, s__Human) & s__increasesLikelihood(s__wears(V__PERSON, V__SV), ( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR))))) & s__decreasesLikelihood(( ? [V__SEE:$i] : ((s__instance(V__SEE, s__Seeing) & s__patient(V__SEE, V__PERSON) & s__experiencer(V__SEE, V__SPECTATOR)))), ( ? [V__INJ:$i] : ((s__instance(V__INJ, s__Injuring) & s__agent(V__INJ, V__SPECTATOR) & s__patient(V__INJ, V__PERSON))))))))))) |
Cars.kif 3422-3446 |
If X is an instance of safety vest, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of animal (3) Z is an instance of human (4) Y wears X increases likelihood of there exists W such that W is an instance of seeing (5) Y is a patient of W (6) Z experiences W (7) there exists W such that W is an instance of seeing (8) Y is a patient of W (9) Z experiences W decreases likelihood of there exists V such that V is an instance of injuring (10) Z is an agent of V (11) Y is a patient of V |
