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

(=>
(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 1604316057 

(=>
(and
(governorSpeed ?V ?Q)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(PerFn ?L1 ?T1))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(PerFn ?L2 ?T2))))
(greaterThan
(PerFn ?L1 ?T1)
(PerFn ?L2 ?T2)))
(greaterThan ?SLOWPROB ?FASTPROB)) 
Cars.kif 28692883 

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

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

(=>
(and
(topSpeed ?V ?Q)
(equal ?FASTPROB
(ProbabilityFn
(measure ?V
(SpeedFn ?L1 ?T1))))
(equal ?SLOWPROB
(ProbabilityFn
(measure ?V
(SpeedFn ?L2 ?T2))))
(greaterThan
(SpeedFn ?L1 ?T1) ?V)
(greaterThan ?V
(SpeedFn ?L2 ?T2)))
(greaterThan ?SLOWPROB ?FASTPROB)) 
Transportation.kif 17111726 

(=>
(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 2072120738 

(=>
(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 2156521582 

(=>
(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 14491466 

(=>
(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 2160221619 

(=>
(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 14891506 
