Mean3SecondWindSpeedFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Mean3SecondWindSpeedFn EnglishLanguage "(Mean3SecondWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 12 instantaneous of surfaceWindSpeed measurements, each taken at 0.25 Second intervals, over a 3 Second TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.")	Weather.kif 3155-3159
(documentation Mean3SecondWindSpeedFn ChineseLanguage "(Mean3SecondWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity，它是在?PLACE 地方，划一表示在地球表面10米(33 英尺)上高度位置，某时 ?TIME，（持续时间）TimeDuration 长3 Second 秒、共12个每 0.25 Second 秒时间间隔量度的即时（地面风速）surfaceWindSpeed（串列）&List上的平均值。")	Weather.kif 3161-3164
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 3166-3166	The number 1 argument of three second mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedFn 2 TimeInterval)	Weather.kif 3167-3167	The number 2 argument of three second mean surface wind speed is an instance of timeframe
(range Mean3SecondWindSpeedFn FunctionQuantity)	Weather.kif 3168-3168	The range of three second mean surface wind speed is an instance of function quantity
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 3169-3169	Three second mean surface wind speed is an instance of binary function

appearance as argument number 2

(format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1")	Weather.kif 3160-3160
(format ChineseLanguage Mean3SecondWindSpeedFn "%1地区在%2时段的 Mean3SecondWindSpeedFn")	Weather.kif 3165-3165
(termFormat EnglishLanguage Mean3SecondWindSpeedFn "three second mean surface wind speed")	domainEnglishFormat.kif 10396-10396
(termFormat ChineseLanguage Mean3SecondWindSpeedFn "3秒平均地面风速")	domainEnglishFormat.kif 10397-10397

antecedent

(=>
    (equal ?SPEED
        (Mean3SecondWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 0.25 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 3 SecondDuration))
                (equal 12
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))

Weather.kif 3171-3188

If equal X and Mean3SecondWindSpeedFn for Y in region Z, then there exist W, V,, , U and T such that W is an instance of measuring surface wind speed list and The eventLocated for W is Z and measuring list interval W and 0.25 second duration(s) and The Measuring for list W takes 3 second duration(s). and equal 12 and length of W and V is the result of W and equal U and PhysicalQuantityToNumberFn returns the numberic values of a list of V and equal X and the average of the numbers in U T(s) holds during Y

consequent

(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (exists (?TIMELIST ?INT)
        (and
            (equal ?TIMELIST
                (TimeIntervalListFn ?TIME
                    (MeasureFn 3 SecondDuration)))
            (inList ?INT ?TIMELIST)
            (equal ?SPEED
                (Mean3SecondWindSpeedFn ?PLACE ?INT)))))

Weather.kif 3272-3284

If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z and W is a member of X, then there exist V and U such that equal V and ConsecutiveTimeIntervalList for at Y at 3 second duration(s) is contained in TimeIntervalListFn and U is a member of V and equal W and Mean3SecondWindSpeedFn for U in region Z

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners