(=>
(and
(instance ?FORMULA1 Formula)
(instance ?FORMULA2 Formula))
(or
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(independentProbability ?FORMULA1 ?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 |
(=>
(pathologicSymptom ?D ?S)
(exists (?O)
(increasesLikelihood
(attribute ?O ?D)
(exists (?I)
(and
(instance ?I ?S)
(experiencer ?I ?O)))))) |
Merge.kif 10661-10669 |
If X is a symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of there exists W such that W is an instance of X and Z experiences W |
(=>
(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 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 |
(=>
(and
(instance ?X CarAlarm)
(instance ?CAR SelfPoweredRoadVehicle)
(part ?X ?CAR))
(exists (?HARM ?THIEF ?T ?L)
(hasPurpose ?X
(=>
(and
(or
(instance ?HARM Stealing)
(instance ?HARM Damaging))
(instance ?THIEF Human)
(agent ?HARM ?THIEF)
(patient ?HARM ?CAR)
(equal
(WhenFn ?HARM) ?T)
(eventPartlyLocated ?HARM ?L))
(exists (?ALARM ?WITNESS)
(and
(instance ?ALARM RadiatingSound)
(agent ?ALARM ?X)
(causes ?HARM ?ALARM)
(hasPurpose ?ALARM
(increasesLikelihood
(and
(instance ?WITNESS Human)
(holdsDuring ?T
(orientation ?WITNESS ?L Near)))
(or
(knows ?WITNESS
(exists (?H)
(and
(or
(instance ?H Stealing)
(instance ?H Damaging))
(eventPartlyLocated ?H ?L)
(holdsDuring ?T
(patient ?H ?CAR)))))
(finishes
(WhenFn ?ALARM)
(WhenFn ?HARM))))))))))) |
Cars.kif 3578-3618 |
If X is an instance of car alarm, Y is an instance of self powered road vehicle, and X is a part of Y, then All of the following hold: (1) there exist Z, W,, , V (2) U such that X has the purpose Z is an instance of stealing or Z is an instance of damaging (3) W is an instance of human (4) W is an agent of Z (5) Y is a patient of Z (6) equal the time of existence of Z (7) V (8) Z is partly located at Uthere exist T (9) S such that T is an instance of radiating sound (10) X is an agent of T (11) Z causes T (12) T has the purpose S is an instance of human (13) S is near to U holds during V increases likelihood of S knows there exists R such that R is an instance of stealing or R is an instance of damaging (14) R is partly located at U (15) Y is a patient of R holds during V or the time of existence of T finishes the time of existence of Z |
(=>
(diseaseSymptom ?DISEASE ?SYMPTOM)
(exists (?ORGANISM)
(increasesLikelihood
(attribute ?ORGANISM ?DISEASE)
(attribute ?ORGANISM ?SYMPTOM)))) |
WMD.kif 872-877 |
If X is a disease symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of X is an attribute of Z |
(=>
(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
(exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
(and
(holdsDuring ?TIME
(attribute ?ORGANISM ?DISEASE))
(increasesLikelihood
(and
(instance ?PROC ?PROCESS)
(temporalPart
(WhenFn ?PROC) ?TIME)
(experiencer ?PROC ?ORGANISM)
(patient ?PROC ?SAMPLE)
(instance ?SAMPLE ?SUBSTANCE))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(attribute ?ORGANISM ?DISEASE))))))) |
WMD.kif 936-951 |
If X is disease treatment Y for Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that X is an attribute of W holds during V (3) T is an instance of Z (4) the time of existence of T is a part of V (5) W experiences T (6) U is a patient of T (7) U is an instance of Y increases likelihood of X is not an attribute of W holds during immediately after V |
increasesLikelihood