Mean2MinutesWindSpeedFn - Sigma Knowledge base Browser

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 2279-2282
(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 2273-2277
(domain Mean2MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 2284-2284	O argumento numero 1 de Mean2MinutesWindSpeedFn e' uma instancia de Area Geografica
(domain Mean2MinutesWindSpeedFn 2 TimeInterval)	Weather.kif 2285-2285	O argumento numero 2 de Mean2MinutesWindSpeedFn e' uma instancia de Intervalo Temporal
(instance Mean2MinutesWindSpeedFn BinaryFunction)	Weather.kif 2287-2287	Mean2MinutesWindSpeedFn e' uma instancia de Funcao Binaria
(range Mean2MinutesWindSpeedFn FunctionQuantity)	Weather.kif 2286-2286	O contra-dominio de Mean2MinutesWindSpeedFn e' uma instancia de Funcao de Quantidade

appearance as argument number 2

(format ChineseLanguage Mean2MinutesWindSpeedFn "%1地区在%2时段的 Mean2MinutesWindSpeedFn")	Weather.kif 2283-2283
(format EnglishLanguage Mean2MinutesWindSpeedFn "Mean2MinutesWindSpeedFn for %2 in region %1")	Weather.kif 2278-2278
(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 2289-2306