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 1890-1893
(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 1884-1888
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 1895-1895	Die Zahl 1 Argument von Mean3SecondWindSpeedFn ist ein fall von GeographicArea %n{nicht}
(domain Mean3SecondWindSpeedFn 2 TimeInterval)	Weather.kif 1896-1896	Die Zahl 2 Argument von Mean3SecondWindSpeedFn ist ein fall von TimeInterval %n{nicht}
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1898-1898	Mean3SecondWindSpeedFn ist ein fall von BinaryFunction %n{nicht}
(range Mean3SecondWindSpeedFn FunctionQuantity)	Weather.kif 1897-1897	bildbereich von Mean3SecondWindSpeedFn ist ein fall von FunctionQuantity {nicht}

appearance as argument number 2

(format ChineseLanguage Mean3SecondWindSpeedFn "%1地区在%2时段的 Mean3SecondWindSpeedFn")	Weather.kif 1894-1894
(format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1")	Weather.kif 1889-1889
(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 1900-1917

Wenn FunctionQuantity ist gleich Mean3SecondWindSpeedFn GeographicArea and TimeInterval %n{nicht},
dann es gibt entity, ** entity,, , ** entity, and und ** entity um ** entity ist ein fall von MeasuringSurfaceWindSpeedList %n{nicht} und locationMeasuringList ** entity and ** GeographicArea und measuringListInterval ** entity and 0.25 SecondDuration(s) und measuringListDuration ** entity and 3 SecondDuration(s) und 12 ist gleich Laenge von ** entity %n{nicht} und measuringResult ** entity and ** ** entity und ** ** entity ist gleich PhysicalQuantityToNumberFn ** ** entity %n{nicht} und ** FunctionQuantity ist gleich AverageFn ** ** entity ** ** entity(s) %n{nicht} haelt waehrend ** TimeInterval %n{nicht}

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 2001-2013

Wenn List ist gleich Mean3SecondWindSpeedListFn GeographicArea and TimeInterval %n{nicht} und FunctionQuantity ist ein Mitglied von ** List,
dann es gibt ** TimeIntervalLIST und ** TimeInterval um ** TimeIntervalLIST ist gleich TimeIntervalListFn ** TimeInterval and 3 SecondDuration(s) %n{nicht} und ** ** TimeInterval ist ein Mitglied von ** TimeIntervalLIST und ** FunctionQuantity ist gleich Mean3SecondWindSpeedFn ** GeographicArea and ** ** TimeInterval %n{nicht}

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

KB Term:			Term intersection

English Word: