(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Miles)
(MeasureFn 1 HourDuration)))) 
Weather.kif 14421448 
A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number Miles(s) per 1 hour duration(s) 
(=>
(and
(instance ?ACCELERATE Accelerating)
(agent ?ACCELERATE ?AGENT))
(exists (?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2)
(and
(holdsDuring
(BeginFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn ?LENGTH1 ?TIME1)))
(holdsDuring
(EndFn
(WhenFn ?ACCELERATE))
(measure ?AGENT
(SpeedFn ?LENGTH2 ?TIME2)))
(or
(greaterThan ?LENGTH2 ?LENGTH1)
(greaterThan ?TIME2 ?TIME1))))) 
Midlevelontology.kif 1475514765 

(=>
(and
(instance ?D Decelerating)
(agent ?D ?A))
(exists (?L1 ?L2 ?T1 ?T2)
(and
(holdsDuring
(BeginFn
(WhenFn ?D))
(measure ?A
(SpeedFn ?L1 ?T1)))
(holdsDuring
(EndFn
(WhenFn ?D))
(measure ?A
(SpeedFn ?L2 ?T2)))
(or
(greaterThan ?L1 ?L2)
(greaterThan ?T1 ?T2))))) 
Midlevelontology.kif 1477114785 

(=>
(and
(instance ?PLACE Object)
(instance ?BLOW Wind)
(measure ?BLOW
(VelocityFn ?DIST ?TIME ?PLACE ?DIRECTION)))
(surfaceWindVelocity ?PLACE
(SpeedFn ?DIST ?TIME) ?DIRECTION)) 
Weather.kif 115120 

(=>
(and
(instance ?ZEPHYR WindFlow)
(instance ?PLACE Object)
(partlyLocated ?ZEPHYR ?PLACE)
(measure ?ZEPHYR
(SpeedFn ?DIST ?TIME)))
(surfaceWindSpeed ?PLACE
(SpeedFn ?DIST ?TIME))) 
Weather.kif 138144 

(=>
(and
(measure
(FlowFn ?FLUID)
(SpeedFn ?LENGTH ?TIME))
(piece ?PART ?FLUID))
(piece ?PART
(SpeedFn ?LENGTH ?TIME))) 
Geography.kif 46004604 

(=>
(equal ?SPEED
(MeasureFn ?NUM KnotUnitOfSpeed))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM NauticalMile)
(MeasureFn 1 HourDuration)))) 
Geography.kif 37353737 

(=>
(measure ?OBJECT
(VelocityFn ?DISTANCE ?TIME ?REF ?DIRECTION))
(measure ?OBJECT
(SpeedFn ?DISTANCE ?TIME))) 
Merge.kif 63986400 
