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 1894-1897
(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 1888-1892
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 1899-1899	The number 1 argument of three second mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedFn 2 TimeInterval)	Weather.kif 1900-1900	The number 2 argument of three second mean surface wind speed is an instance of time interval
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1902-1902	Three second mean surface wind speed is an instance of binary function
(range Mean3SecondWindSpeedFn FunctionQuantity)	Weather.kif 1901-1901	The range of three second mean surface wind speed is an instance of function quantity

appearance as argument number 2

(format ChineseLanguage Mean3SecondWindSpeedFn "%1地区在%2时段的 Mean3SecondWindSpeedFn")	Weather.kif 1898-1898
(format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1")	Weather.kif 1893-1893
(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 1904-1921

If a function quantity is equal to Mean3SecondWindSpeedFn for a time interval in region a geographic area,
then there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of measuring surface wind speed list and The eventLocated for the entity is the geographic area and The Measuring for list the entity occurs at 0.25 second duration(s) interval. and The Measuring for list the entity takes 3 second duration(s). and 12 is equal to length of the entity and the other entity is the result of the entity and the third entity is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the other entity and the function quantity is equal to the average of the numbers in the third entity the fourth entity(s) holds during the time interval

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 2005-2017

If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and a function quantity is a member of the list,
then there exist the time intervalLIST and another time interval such that the time intervalLIST is equal to ConsecutiveTimeIntervalList for at the time interval at 3 second duration(s) is contained in TimeIntervalListFn and the other time interval is a member of the time intervalLIST and the function quantity is equal to Mean3SecondWindSpeedFn for the other time interval in region the geographic area

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

KB Term:			Term intersection

English Word: