(=>
(and
(decreasesLikelihood ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2) ?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(lessThan ?NUMBER2 ?NUMBER1)) 
Merge.kif 25632568 

(=>
(and
(equal ?DEP
(DepartmentOfFn ?COMP ?PHYS))
(subOrganization ?DEP2 ?COMP)
(not
(equal ?DEP ?DEP2))
(instance ?I ?PHYS)
(inScopeOfInterest ?P ?I)
(equal ?P1
(ProbabilityFn
(agent ?P ?DEP)))
(equal ?P2
(ProbabilityFn
(agent ?P ?DEP2))))
(greaterThan ?P1 ?P2)) 
Midlevelontology.kif 1772817742 

(=>
(and
(governorSpeed ?V ?Q)
(equal
(MeasureFn ?FAST MilesPerHour)
(SpeedFn ?L1 ?T1))
(equal
(MeasureFn ?SLOW MilesPerHour)
(SpeedFn ?L2 ?T2))
(greaterThan ?FAST ?SLOW)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?FAST MilesPerHour))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(MeasureFn ?SLOW MilesPerHour)))))
(greaterThan ?SLOWPROB ?FASTPROB)) 
Cars.kif 28842902 

(=>
(and
(increasesLikelihood ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2) ?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(greaterThan ?NUMBER2 ?NUMBER1)) 
Merge.kif 25462551 

(=>
(and
(independentProbability ?FORMULA1 ?FORMULA2)
(equal
(ProbabilityFn ?FORMULA2) ?NUMBER1)
(conditionalProbability ?FORMULA1 ?FORMULA2 ?NUMBER2))
(equal ?NUMBER2 ?NUMBER1)) 
Merge.kif 25802585 

(=>
(and
(topSpeed ?V
(MeasureFn ?Q ?CU))
(instance ?CU CompositeUnitOfMeasure)
(instance ?UL UnitOfLength)
(instance ?UD UnitOfDuration)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(SpeedFn
(MeasureFn ?L1 ?UL)
(MeasureFn ?T1 ?UD)))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(SpeedFn
(MeasureFn ?L2 ?UL)
(MeasureFn ?T2 ?UD)))))
(greaterThan
(SpeedFn ?L1 ?T1) ?Q)
(greaterThan ?Q
(SpeedFn ?L2 ?T2)))
(greaterThan ?SLOWPROB ?FASTPROB)) 
Transportation.kif 17261744 

(=>
(and
(typicalAction ?PROCESS ?AGENT)
(instance ?A ?AGENT)
(equal ?PPROB
(ProbabilityFn
(exists (?X)
(and
(instance ?X ?PROCESS)
(agent ?X ?A)))))
(equal ?NOTPPROB
(ProbabilityFn
(not
(exists (?Y)
(and
(instance ?Y ?PROCESS)
(agent ?Y ?A)))))))
(greaterThan ?PPROB ?NOTPPROB)) 
Midlevelontology.kif 2225522272 

(=>
(and
(typicalPart ?PART ?WHOLE)
(instance ?X ?PART)
(equal ?PARTPROB
(ProbabilityFn
(exists (?Y)
(and
(instance ?Y ?WHOLE)
(part ?X ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?Z)
(and
(instance ?Z ?WHOLE)
(part ?X ?Z)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) 
Midlevelontology.kif 2306323080 

(=>
(and
(typicalTemporalPart ?PART ?WHOLE)
(instance ?X ?PART)
(equal ?PARTPROB
(ProbabilityFn
(exists (?Y)
(and
(instance ?Y ?WHOLE)
(temporalPart ?X ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?Z)
(and
(instance ?Z ?WHOLE)
(temporalPart ?X ?Z)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) 
Cars.kif 14531470 

(=>
(and
(typicallyContainsPart ?PART ?WHOLE)
(instance ?Y ?WHOLE)
(equal ?PARTPROB
(ProbabilityFn
(exists (?X1)
(and
(instance ?X1 ?PART)
(part ?X1 ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?X2)
(and
(instance ?X2 ?PART)
(part ?X2 ?Y)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) 
Midlevelontology.kif 2310023117 

(=>
(and
(typicallyContainsTemporalPart ?PART ?WHOLE)
(instance ?Y ?WHOLE)
(equal ?PARTPROB
(ProbabilityFn
(exists (?X1)
(and
(instance ?X1 ?PART)
(temporalPart ?X1 ?Y)))))
(equal ?NOTPARTPROB
(ProbabilityFn
(not
(exists (?X2)
(and
(instance ?X2 ?PART)
(temporalPart ?X2 ?Y)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB)) 
Cars.kif 14931510 
