Mean10MinutesWindSpeedFn - Sigma Knowledge base Browser

appearance as argument number 2

(format EnglishLanguage Mean10MinutesWindSpeedFn "Mean10MinutesWindSpeedFn for %2 in region %1")	Weather.kif 3479-3479
(format ChineseLanguage Mean10MinutesWindSpeedFn "%1地区在%2时段的 Mean10MinutesWindSpeedFn")	Weather.kif 3484-3484
(termFormat EnglishLanguage Mean10MinutesWindSpeedFn "ten minute mean surface wind speed")	domainEnglishFormat.kif 10372-10372
(termFormat ChineseLanguage Mean10MinutesWindSpeedFn "10分钟平均地面风速")	domainEnglishFormat.kif 10373-10373

antecedent

(=>
    (equal ?SPEED
        (Mean10MinutesWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 10 MinuteDuration))
                (equal 120
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))

If equal X and Mean10MinutesWindSpeedFn 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 5 second duration(s) and The Measuring for list W takes 10 minute duration(s). and equal 120 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

(=>
    (instance ?T Typhoon)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean10MinutesWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 64.0))))

If X is an instance of typhoon, then there exist Y, Z and W such that Y is an instance of tropical cyclone and Z is an instance of geographic area and Y is located at Z and equal W miles per hour(s) and Mean10MinutesWindSpeedFn for the time of existence of Y in region Z and W is greater than or equal to 64.0

(documentation Mean10MinutesWindSpeedFn EnglishLanguage "(Mean10MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 120 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 10 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.")	Weather.kif 3474-3478
(documentation Mean10MinutesWindSpeedFn ChineseLanguage "(Mean10MinutesWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity，它是在?PLACE 地方，划一表示在地球表面10米(33 英尺)上高度位置，某时 ?TIME，（持续时间）TimeDuration 长10 Minutes 分钟、共120个每 5 Second 秒时间间隔量度的即时（地面风速）surfaceWindSpeed（串列）&List上的平均值。")	Weather.kif 3480-3483
(domain Mean10MinutesWindSpeedFn 1 GeographicArea)	Weather.kif 3485-3485	The number 1 argument of ten minute mean surface wind speed is an instance of geographic area
(domain Mean10MinutesWindSpeedFn 2 TimeInterval)	Weather.kif 3486-3486	The number 2 argument of ten minute mean surface wind speed is an instance of timeframe
(range Mean10MinutesWindSpeedFn FunctionQuantity)	Weather.kif 3487-3487	The range of ten minute mean surface wind speed is an instance of function quantity
(instance Mean10MinutesWindSpeedFn BinaryFunction)	Weather.kif 3488-3488	Ten minute mean surface wind speed is an instance of binary function