Mean2MinutesWindSpeedFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage Mean2MinutesWindSpeedFn "%1地区在%2时段的 Mean2MinutesWindSpeedFn") | Weather.kif 2270-2270 | |
(format EnglishLanguage Mean2MinutesWindSpeedFn "Mean2MinutesWindSpeedFn for %2 in region %1") | Weather.kif 2265-2265 | |
(termFormat ChineseLanguage Mean2MinutesWindSpeedFn "2分钟平均地面风速") | domainEnglishFormat.kif 10379-10379 | |
(termFormat EnglishLanguage Mean2MinutesWindSpeedFn "two minute mean surface wind speed") | domainEnglishFormat.kif 10378-10378 |
antecedent |
(=> (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 2276-2293 |
|