Mean3MinutesWindSpeedFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage Mean3MinutesWindSpeedFn "%1地区在%2时段的 Mean3MinutesWindSpeedFn") | Weather.kif 2252-2252 | |
(format EnglishLanguage Mean3MinutesWindSpeedFn "Mean3MinutesWindSpeedFn for %2 in region %1") | Weather.kif 2247-2247 | |
(termFormat ChineseLanguage Mean3MinutesWindSpeedFn "3分钟平均地面风速") | domainEnglishFormat.kif 10376-10376 | |
(termFormat EnglishLanguage Mean3MinutesWindSpeedFn "three minute mean surface wind speed") | domainEnglishFormat.kif 10375-10375 |
antecedent |
(=> (equal ?SPEED (Mean3MinutesWindSpeedFn ?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 36 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2258-2275 |
|