Mean3SecondWindSpeedFn - Sigma Knowledge base Browser

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 1876-1879
(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 1870-1874
(domain Mean3SecondWindSpeedFn 1 GeographicArea)	Weather.kif 1881-1881	The number 1 argument of three second mean surface wind speed is an instance of geographic area
(domain Mean3SecondWindSpeedFn 2 TimeInterval)	Weather.kif 1882-1882	The number 2 argument of three second mean surface wind speed is an instance of time interval
(instance Mean3SecondWindSpeedFn BinaryFunction)	Weather.kif 1884-1884	Three second mean surface wind speed is an instance of binary function
(range Mean3SecondWindSpeedFn FunctionQuantity)	Weather.kif 1883-1883	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 1880-1880
(format EnglishLanguage Mean3SecondWindSpeedFn "Mean3SecondWindSpeedFn for %2 in region %1")	Weather.kif 1875-1875
(termFormat ChineseLanguage Mean3SecondWindSpeedFn "3秒平均地面风速")	domainEnglishFormat.kif 10404-10404
(termFormat EnglishLanguage Mean3SecondWindSpeedFn "three second mean surface wind speed")	domainEnglishFormat.kif 10403-10403

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 1886-1903

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 1987-1999

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: