(<=>
(equal ?SPEED
(MeasureFn ?NUM MilesPerHour))
(equal ?SPEED
(SpeedFn
(MeasureFn ?NUM Mile)
(MeasureFn 1 HourDuration)))) 
Weather.kif 17011707 
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 mile(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 125130 

(=>
(and
(instance ?ZEPHYR WindFlow)
(instance ?PLACE Object)
(partlyLocated ?ZEPHYR ?PLACE)
(elevation ?ZEPHYR
(MeasureFn ?X FootLength))
(lessThanOrEqualTo ?X 500)
(measure ?ZEPHYR
(SpeedFn ?DIST ?TIME)))
(surfaceWindSpeed ?PLACE
(SpeedFn ?DIST ?TIME))) 
Weather.kif 148157 

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

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

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