| ! [V__FORMULA1 : $i,V__FORMULA2 : $i] : (((s__instance(V__FORMULA1, s__Formula) & s__instance(V__FORMULA2, s__Formula)) => (s__increasesLikelihood(V__FORMULA1, V__FORMULA2) | s__decreasesLikelihood(V__FORMULA1, V__FORMULA2) | s__independentProbability(V__FORMULA1, V__FORMULA2)))) |
Merge.kif 2756-2763 |
If X is an instance of formula and Y is an instance of formula, then At least one of the following holds: (1) X increases likelihood of Y (2) X decreases likelihood of Y (3) probability of X and Y is independent |
| ! [V__PROC1 : $i,V__PROC2 : $i] : ((s__hindersSubclass(V__PROC1, V__PROC2) => ( ! [V__TIME:$i, V__PLACE:$i] : (s__decreasesLikelihood(s__holdsDuring(V__TIME, ( ? [V__INST1:$i] : ((s__instance(V__INST1, V__PROC1) & s__eventLocated(V__INST1, V__PLACE))))), s__holdsDuring(V__TIME, ( ? [V__INST2:$i] : ((s__instance(V__INST2, V__PROC2) & s__eventLocated(V__INST2, V__PLACE)))))))))) |
Merge.kif 4433-4446 |
If instances of X hinder instances of Y, then For all Entities Z and W: there exists V such that V is an instance of X, V is located at W holds during Z decreases likelihood of there exists U such that U is an instance of Y, and U is located at W holds during Z |
| ! [V__PROC : $i,V__X : $i] : ((s__hinders(V__X, V__PROC) => ( ? [V__L:$i, V__T:$i] : (s__decreasesLikelihood((s__WhenFn(V__X) = V__T & s__eventLocated(V__X, V__L)), s__holdsDuring(V__T, ( ? [V__Y:$i] : ((s__instance(V__Y, V__PROC) & s__eventLocated(V__Y, V__L)))))))))) |
Merge.kif 4511-4522 |
If X hinders Y, then there exist Z, W such that equal the time of existence of X, W, X is located at Z decreases likelihood of there exists V such that V is an instance of Y, and V is located at Z holds during W |
| ! [V__X : $i] : ((s__instance(V__X, s__FuelCapLock) => s__hasPurpose(V__X, ( ? [V__TANK:$i, V__HOLE:$i, V__T:$i] : ((s__instance(V__TANK, s__GasTank) & s__hole(V__HOLE, V__TANK) & s__decreasesLikelihood(s__holdsDuring(V__T, (s__connected(V__X, V__HOLE) & s__attribute(V__X, s__Locked))), s__holdsDuring(V__T, ( ? [V__STEAL:$i, V__FUEL:$i] : ((s__instance(V__STEAL, s__Stealing) & s__instance(V__FUEL, s__Fuel) & s__located(V__FUEL, V__TANK) & s__patient(V__STEAL, V__FUEL)))))))))))) |
Cars.kif 953-971 |
If X is an instance of fuel cap lock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of gas tank (3) Z is a hole in Y (4) X is connected to Z (5) locked is an attribute of X holds during W decreases likelihood of there exist V (6) U such that V is an instance of stealing (7) U is an instance of fuel (8) U is located at Y (9) U is a patient of V holds during W |
| ! [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 |
| ! [V__X : $i] : ((s__instance(V__X, s__SteeringColumnLock) => s__hasPurpose(V__X, ( ? [V__SC:$i, V__P:$i, V__CAR:$i, V__T:$i] : ((s__instance(V__SC, s__SteeringColumn) & s__instance(V__CAR, s__Automobile) & s__component(V__SC, V__CAR) & s__part(V__X, V__SC) & s__instance(V__P, s__Protecting) & s__instrument(V__P, V__X) & s__decreasesLikelihood(s__holdsDuring(V__T, s__attribute(V__X, s__Locked)), s__holdsDuring(V__T, ( ? [V__STEAL:$i] : ((s__instance(V__STEAL, s__Stealing) & s__patient(V__STEAL, V__CAR)))))))))))) |
Cars.kif 3864-3882 |
If X is an instance of steering column lock, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of steering column (3) W is an instance of automobile (4) Y is a component of W (5) X is a part of Y (6) Z is an instance of protecting (7) X is an instrument for Z (8) locked is an attribute of X holds during V decreases likelihood of there exists U such that U is an instance of stealing (9) W is a patient of U holds during V |
| ! [V__TA : $i] : ((s__instance(V__TA, s__TranexamicAcid) => s__hasPurpose(V__TA, ( ? [V__P:$i] : ((s__instance(V__P, s__Human) & s__decreasesLikelihood(( ? [V__I:$i] : ((s__instance(V__I, s__Ingesting) & s__objectTransferred(V__I, V__TA) & s__destination(V__I, V__P)))), ( ? [V__P:$i, V__B:$i] : ((s__instance(V__P, s__Human) & s__instance(V__B, s__Bleeding) & s__origin(V__B, V__P))))))))))) |
Medicine.kif 1031-1047 |
If X is an instance of tranexamic acid, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of human (2) there exists Z such that Z is an instance of ingesting (3) the object transferred in Z is X (4) Z ends up at Y decreases likelihood of there exist Y (5) W such that Y is an instance of human (6) W is an instance of bleeding (7) W originates at Y |
