TreeView Knowledge Base Browser - Mean3SecondWindSpeedFn

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: