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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mean3SecondWindSpeedListFn

 Sigma KEE - Mean3SecondWindSpeedListFn
Mean3SecondWindSpeedListFn

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


(documentation Mean3SecondWindSpeedListFn ChineseLanguage "Mean3SecondWindSpeedListFn (平均3秒风速表列) 是一个辅助函数，用于计算 ThreeSecondGustSpeedFn 的三秒阵风风速。它算出一个List(表列)的累积 3秒平均风速，这些风速是在一段TimeDuration(时间间隔)，发生在一处 GeographicArea(地理地区)的 FunctionQuantity(功能数量)。这个时间间隔的 TimeDuration (持续时间)为2 MinuteDuration(分钟长)。") Weather.kif 1983-1986
(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 1978-1981
(domain Mean3SecondWindSpeedListFn 1 GeographicArea) Weather.kif 1989-1989 平均3秒风速表列 的 1 数量 是 地理区域 的 instance
(domain Mean3SecondWindSpeedListFn 2 TimeInterval) Weather.kif 1990-1990 平均3秒风速表列 的 2 数量 是 时距 的 instance
(instance Mean3SecondWindSpeedListFn BinaryFunction) Weather.kif 1992-1992 平均3秒风速表列 是 二元函数 的 instance
(range Mean3SecondWindSpeedListFn List) Weather.kif 1991-1991 平均3秒风速表列 的 range 是 串列 的实例

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


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

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 2001-2013
(=>
    (and
        (equal ?SPEEDLIST
            (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
        (inList ?SPEED ?SPEEDLIST))
    (instance ?SPEED FunctionQuantity))		 Weather.kif 1994-1999
(=>
    (equal ?SPEEDLIST
        (Mean3SecondWindSpeedListFn ?PLACE ?TIME))
    (duration ?TIME
        (MeasureFn 2 MinuteDuration)))		 Weather.kif 2015-2019

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 2034-2044


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

Show without tree


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