Mean1MinuteWindSpeedFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage Mean1MinuteWindSpeedFn "%1地区在%2时段的 Mean1MinuteWindSpeedFn") | Weather.kif 2322-2322 | |
(format EnglishLanguage Mean1MinuteWindSpeedFn "Mean1MinuteWindSpeedFn for %2 in region %1") | Weather.kif 2317-2317 | |
(termFormat ChineseLanguage Mean1MinuteWindSpeedFn "1分钟平均地面风速") | domainEnglishFormat.kif 10382-10382 | |
(termFormat EnglishLanguage Mean1MinuteWindSpeedFn "one minute mean surface wind speed") | domainEnglishFormat.kif 10381-10381 |
antecedent |
(=> (equal ?SPEED (Mean1MinuteWindSpeedFn ?PLACE ?TIME)) (holdsDuring ?TIME (exists (?MLIST ?RLIST ?NLIST ?UNIT) (and (instance ?MLIST MeasuringSurfaceWindSpeedList) (locationMeasuringList ?MLIST ?PLACE) (measuringListInterval ?MLIST (MeasureFn 5 SecondDuration)) (measuringListDuration ?MLIST (MeasureFn 1 MinuteDuration)) (equal 12 (ListLengthFn ?MLIST)) (measuringResult ?MLIST ?RLIST) (equal ?NLIST (PhysicalQuantityToNumberFn ?RLIST)) (equal ?SPEED (MeasureFn (AverageFn ?NLIST) ?UNIT)))))) |
Weather.kif 2328-2345 |
|
consequent |