Mean2MinutesWindSpeedFn |
appearance as argument number 1 |
(documentation Mean2MinutesWindSpeedFn ChineseLanguage "(Mean2MinutesWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity, 它是在?PLACE 地方,划一表示在地球表面10米(33 英尺)上高度位置, 某时 ?TIME,(持续时间)TimeDuration 长2 Minutes 分钟、共24个每 5 Second 秒时间 间隔量度的即时(地面风速)surfaceWindSpeed(串列)&List上的平均值。") | Weather.kif 2283-2286 | |
(documentation Mean2MinutesWindSpeedFn EnglishLanguage "(Mean2MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 24 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 2 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.") | Weather.kif 2277-2281 | |
(domain Mean2MinutesWindSpeedFn 1 GeographicArea) | Weather.kif 2288-2288 | |
(domain Mean2MinutesWindSpeedFn 2 TimeInterval) | Weather.kif 2289-2289 | |
(instance Mean2MinutesWindSpeedFn BinaryFunction) | Weather.kif 2291-2291 | |
(range Mean2MinutesWindSpeedFn FunctionQuantity) | Weather.kif 2290-2290 |
appearance as argument number 2 |
(format ChineseLanguage Mean2MinutesWindSpeedFn "%1地区在%2时段的 Mean2MinutesWindSpeedFn") | Weather.kif 2287-2287 | |
(format EnglishLanguage Mean2MinutesWindSpeedFn "Mean2MinutesWindSpeedFn for %2 in region %1") | Weather.kif 2282-2282 | |
(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 2293-2310 |