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

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

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

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