TreeView Knowledge Base Browser - Mean3SecondWindSpeedFn

appearance as argument number 1

(documentation Mean3SecondWindSpeedFn ChineseLanguage "(Mean3SecondWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity，它是在?PLACE 地方，划一表示在地球表面10米(33 英尺)上高度位置，某时 ?TIME，（持续时间）TimeDuration 长3 Second 秒、共12个每 0.25 Second 秒时间间隔量度的即时（地面风速）surfaceWindSpeed（串列）&List上的平均值。")	Weather.kif 1877-1880
(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 1871-1875
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 1882-1882
(domain Mean3SecondWindSpeedFn 2 TimeInterval)	Weather.kif 1883-1883
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1885-1885
(range Mean3SecondWindSpeedFn FunctionQuantity)	Weather.kif 1884-1884

appearance as argument number 2

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

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 1887-1904

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 1988-2000

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

KB Term:			Term intersection

English Word: