(=>
(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
(instance ?EG EngineGovernor)
(instance ?E Engine)
(connectedEngineeringComponents ?EG ?E)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?R ?P ?M)
(and
(instance ?P Device)
(part ?P ?E)
(instance ?R Rotating)
(holdsDuring
(WhenFn ?R)
(and
(measure ?P
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) 
Cars.kif 29302948 

(=>
(and
(instance ?EG EngineGovernor)
(instance ?V Vehicle)
(connectedEngineeringComponents ?EG ?V)
(governorSpeed ?E
(MeasureFn ?S MilesPerHour)))
(hasPurpose ?EG
(not
(exists (?T ?M)
(and
(instance ?T Translocation)
(holdsDuring
(WhenFn ?T)
(and
(measure ?V
(MeasureFn ?M MilesPerHour))
(greaterThan ?M ?S)))))))) 
Cars.kif 29572973 

(=>
(and
(instance ?G SpeedGovernor)
(governorSpeed ?V
(MeasureFn ?S MilesPerHour))
(connectedEngineeringComponents ?G ?V))
(hasPurpose ?G
(not
(exists (?SP2)
(and
(measure ?V
(MeasureFn ?SP2 MilesPerHour))
(greaterThan ?SP2 ?S)))))) 
Cars.kif 29092921 
