Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Mean3SecondWindSpeedListFn
Mean3SecondWindSpeedListFn

appearance as argument number 1
-------------------------


(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 3249-3252
(documentation Mean3SecondWindSpeedListFn ChineseLanguage "Mean3SecondWindSpeedListFn (平均3秒风速表列) 是一个辅助函数，用于计算 ThreeSecondGustSpeedFn 的三秒阵风风速。它算出一个List(表列)的累积 3秒平均风速，这些风速是在一段TimeDuration(时间间隔)，发生在一处 GeographicArea(地理地区)的 FunctionQuantity(功能数量)。这个时间间隔的 TimeDuration (持续时间)为2 MinuteDuration(分钟长)。") Weather.kif 3254-3257
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 3260-3260 The number 1 argument of mean three second wind speed list is an instance of geographic area
(domain Mean3SecondWindSpeedListFn 2 TimeInterval) Weather.kif 3261-3261 The number 2 argument of mean three second wind speed list is an instance of timeframe
(range Mean3SecondWindSpeedListFn List) Weather.kif 3262-3262 The range of mean three second wind speed list is an instance of list
(instance Mean3SecondWindSpeedListFn BinaryFunction) Weather.kif 3263-3263 Mean three second wind speed list is an instance of binary function

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))		 Weather.kif 3265-3270 If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z and W is a member of X, then W is an instance of function quantity
(=>
    (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 3272-3284 If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z and W is a member of X, then there exist V and U such that equal V and ConsecutiveTimeIntervalList for at Y at 3 second duration(s) is contained in TimeIntervalListFn and U is a member of V and equal W and Mean3SecondWindSpeedFn for U in region Z
(=>
    (equal ?SPEEDLIST
        (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
    (duration ?TIME
        (MeasureFn 2 MinuteDuration)))		 Weather.kif 3286-3290 If equal X and Mean3SecondWindSpeedListFn ending at Y in region Z, then duration of Y 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 3305-3315 If equal X and ThreeSecondSpeedGustFn ending at Y in Z, then there exist W, V and U such that equal W and Mean3SecondWindSpeedListFn ending at Y in region Z and equal V and PhysicalQuantityToNumberFn returns the numberic values of a list of W and equal X and The maximum value of the V U(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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners