Mean3SecondWindSpeedListFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Mean3SecondWindSpeedListFn ChineseLanguage "Mean3SecondWindSpeedListFn (平均3秒风速表列) 是一个辅助函数，用于计算 ThreeSecondGustSpeedFn 的三秒阵风风速。它算出一个List(表列)的累积 3秒平均风速，这些风速是在一段TimeDuration(时间间隔)，发生在一处 GeographicArea(地理地区)的 FunctionQuantity(功能数量)。这个时间间隔的 TimeDuration (持续时间)为2 MinuteDuration(分钟长)。")	Weather.kif 1970-1973
(documentation Mean3SecondWindSpeedListFn EnglishLanguage "Mean3SecondWindSpeedListFn is a helper function for calculating the 3 second gust speed in the ThreeSecondGustSpeedFn. It returns a List of running 3-second average wind speeds which are FunctionQuantity(ies) occurring in a GeographicArea over a TimeInterval. The TimeDuration of the time interval is 2 MinuteDuration.")	Weather.kif 1965-1968
(domain Mean3SecondWindSpeedListFn 1 GeographicArea)	Weather.kif 1976-1976	The number 1 argument of mean three second wind speed list is an instance of geographic area
(domain Mean3SecondWindSpeedListFn 2 TimeInterval)	Weather.kif 1977-1977	The number 2 argument of mean three second wind speed list is an instance of time interval
(instance Mean3SecondWindSpeedListFn BinaryFunction)	Weather.kif 1979-1979	Mean three second wind speed list is an instance of binary function
(range Mean3SecondWindSpeedListFn List)	Weather.kif 1978-1978	The range of mean three second wind speed list is an instance of list

appearance as argument number 2

(format ChineseLanguage Mean3SecondWindSpeedListFn "在 %2 时间结束以前，发生在区域 %1 的 Mean3SecondWindSpeedListFn (平均3秒风速表列)")	Weather.kif 1974-1975
(format EnglishLanguage Mean3SecondWindSpeedListFn "Mean3SecondWindSpeedListFn ending at %2 in region %1")	Weather.kif 1969-1969
(termFormat ChineseLanguage Mean3SecondWindSpeedListFn "平均3秒风速表列")	domainEnglishFormat.kif 10396-10396
(termFormat EnglishLanguage Mean3SecondWindSpeedListFn "mean three second wind speed list")	domainEnglishFormat.kif 10395-10395

antecedent

(=> (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	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
(=> (and (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (inList ?SPEED ?SPEEDLIST)) (instance ?SPEED FunctionQuantity))	Weather.kif 1981-1986	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area and an entity is a member of the list, then the entity is an instance of function quantity
(=> (equal ?SPEEDLIST (Mean3SecondWindSpeedListFn ?PLACE ?TIME)) (duration ?TIME (MeasureFn 2 MinuteDuration)))	Weather.kif 2002-2006	If a list is equal to Mean3SecondWindSpeedListFn ending at a time interval in region a geographic area, then duration of the time interval is 2 minute duration(s)

consequent

(=>
    (equal ?SPEED
        (ThreeSecondGustSpeedFn ?PLACE ?TIME))
    (exists (?SPEEDLIST ?NLIST ?UNIT)
        (and
            (equal ?SPEEDLIST
                (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
            (equal ?NLIST
                (PhysicalQuantityToNumberFn ?SPEEDLIST))
            (equal ?SPEED
                (MeasureFn
                    (MaxValueFn ?NLIST) ?UNIT)))))

Weather.kif 2021-2031

If a function quantity is equal to ThreeSecondSpeedGustFn ending at a time interval in a geographic area,
then there exist the function quantityLIST, a number list and an unit of measure such that the function quantityLIST is equal to Mean3SecondWindSpeedListFn ending at the time interval in region the geographic area and the number list is equal to PhysicalQuantityToNumberFn returns the numberic values of a list of the function quantityLIST and the function quantity is equal to The maximum value of the the number list the unit of measure(s)

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: