(<=>
(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) 
(=>
(equal
(RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2)
(equal ?TIME2
(AdditionFn ?TIME1
(MeasureFn 6 HourDuration)))) 
Merge.kif 1605616058 

(=>
(equal
(RelativeTimeFn ?TIME1 EasternTimeZone) ?TIME2)
(equal ?TIME2
(AdditionFn ?TIME1
(MeasureFn 5 HourDuration)))) 
Merge.kif 1606416066 

(=>
(equal
(RelativeTimeFn ?TIME1 MountainTimeZone) ?TIME2)
(equal ?TIME2
(AdditionFn ?TIME1
(MeasureFn 7 HourDuration)))) 
Merge.kif 1604816050 

(=>
(equal
(RelativeTimeFn ?TIME1 PacificTimeZone) ?TIME2)
(equal ?TIME2
(AdditionFn ?TIME1
(MeasureFn 8 HourDuration)))) 
Merge.kif 1603716042 

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

(=>
(instance ?FLOOD FlashFlooding)
(exists (?WATER ?HOUR)
(and
(instance ?WATER WaterMotion)
(causes ?WATER ?FLOOD)
(meetsTemporally
(WhenFn ?WATER)
(WhenFn ?FLOOD))
(duration
(WhenFn ?WATER) ?HOUR)
(lessThan ?HOUR
(MeasureFn 6 HourDuration))))) 
Weather.kif 13581370 

(=>
(instance ?HOUR Hour)
(duration ?HOUR
(MeasureFn 1 HourDuration))) 
Merge.kif 88168818 

(=>
(instance ?HR HeavyRaining)
(holdsDuring
(WhenFn ?HR)
(exists (?AREA)
(and
(instance ?AREA Region)
(eventLocated ?HR ?AREA)
(rainfallIntensity ?AREA
(WhenFn ?HR)
(PerFn
(MeasureFn ?NUM Millimeter)
(MeasureFn 1 HourDuration)))
(greaterThan ?NUM 10)
(greaterThan 50 ?NUM))))) 
Weather.kif 854868 

(=>
(instance ?PROCESS Blizzard)
(holdsDuring
(WhenFn ?PROCESS)
(exists (?AREA ?GALE ?DURATION)
(and
(instance ?AREA GeographicArea)
(eventLocated ?PROCESS ?AREA)
(surfaceWindSpeed ?AREA
(MeasureFn ?GALE KnotUnitOfSpeed))
(greaterThan ?GALE 35)
(duration
(WhenFn ?PROCESS)
(MeasureFn ?DURATION HourDuration))
(greaterThan ?DURATION 3))))) 
Weather.kif 22122225 

(=>
(instance ?SNOWSTORM Snowstorm)
(holdsDuring
(WhenFn ?SNOWSTORM)
(exists (?SNOW ?AREA ?NUM)
(and
(instance ?SNOW Snowing)
(instance ?AREA GeographicArea)
(eventLocated ?SNOW ?AREA)
(subProcess ?SNOW ?SNOWSTORM)
(snowfallIntensity ?AREA
(WhenFn ?SNOW)
(PerFn
(MeasureFn ?NUM Centimeter)
(MeasureFn 1 HourDuration)))
(greaterThan ?NUM 5))))) 
Weather.kif 25132528 
