(=>
(equal ?SPEED
(Mean2MinutesWindSpeedFn ?PLACE ?TIME))
(holdsDuring ?TIME
(exists (?MLIST ?RLIST ?NLIST ?UNIT)
(and
(instance ?MLIST MeasuringSurfaceWindSpeedList)
(locationMeasuringList ?MLIST ?PLACE)
(measuringListInterval ?MLIST
(MeasureFn 5 SecondDuration))
(measuringListDuration ?MLIST
(MeasureFn 2 MinuteDuration))
(equal 24
(ListLengthFn ?MLIST))
(measuringResult ?MLIST ?RLIST)
(equal ?NLIST
(PhysicalQuantityToNumberFn ?RLIST))
(equal ?SPEED
(MeasureFn
(AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 3560-3577 |
If equal X and Mean2MinutesWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 5 second duration(s) and The Measuring for list W takes 2 minute duration(s). and equal 24 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y |
