ThreeSecondGustSpeedFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ThreeSecondGustSpeedFn ChineseLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔)，在?PLACE 所录得的最高累积3秒平均风速。")	Weather.kif 2028-2029
(documentation ThreeSecondGustSpeedFn EnglishLanguage "(ThreeSecondGustSpeedFn ?PLACE ?TIME) returns the highest running 3-second average wind speed recorded at ?PLACE in the 2 minutes TimeInterval ?TIME.")	Weather.kif 2024-2026
(domain ThreeSecondGustSpeedFn 1 GeographicArea)	Weather.kif 2032-2032	3秒阵风风速的 1 数量是地理区域的 instance
(domain ThreeSecondGustSpeedFn 2 TimeInterval)	Weather.kif 2033-2033	3秒阵风风速的 2 数量是时距的 instance
(instance ThreeSecondGustSpeedFn BinaryFunction)	Weather.kif 2035-2035	3秒阵风风速是二元函数的 instance
(range ThreeSecondGustSpeedFn FunctionQuantity)	Weather.kif 2034-2034	3秒阵风风速的 range 是函数量的实例

appearance as argument number 2

(format ChineseLanguage ThreeSecondGustSpeedFn "在 %2 时间结束以前，发生在区域 %1 的 ThreeSecondGustSpeedFn (3秒阵风风速)")	Weather.kif 2030-2031
(format EnglishLanguage ThreeSecondGustSpeedFn "ThreeSecondSpeedGustFn ending at %2 in %1")	Weather.kif 2027-2027
(termFormat ChineseLanguage ThreeSecondGustSpeedFn "3秒阵风风速")	domainEnglishFormat.kif 10394-10394
(termFormat EnglishLanguage ThreeSecondGustSpeedFn "three second gust speed")	domainEnglishFormat.kif 10393-10393

antecedent

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

Weather.kif 2037-2047

如果函数量 equal 在时距时间结束以前，发生在区域地理区域的 ThreeSecondGustSpeedFn (3秒阵风风速)，
然后有存在那个函数量LIST 和数字串列这样那个函数量LIST equal 在那个时距时间结束以前，发生在区域那个地理区域的 Mean3SecondWindSpeedListFn (平均3秒风速表列) 和那个数字串列 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个函数量LIST 和那个函数量 equal 那个数字串列串列中的最大值测量单位

consequent

(=> (and (instance ?T Tornado) (instance ?EF EF5) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF))) (exists (?GUST) (and (greaterThan ?GUST 200.0) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T)))))))	Weather.kif 2190-2204	如果过程是龙卷风的 instance 和实体是改良藤田5 的 instance 和那个过程是 located 在 2 和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 200.0 和那个有认知的主事 believes 那个实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个有认知的主事REA 的 ThreeSecondGustSpeedFn (3秒阵风风速)
(=> (and (instance ?T Tornado) (instance ?EF EFScaleAttribute) (eventLocated ?T ?AREA) (believes ?A (property ?T ?EF)) (speedScaleAttributeMinMax ?EF (MeasureFn ?MIN MilesPerHour) (MeasureFn ?MAX MilesPerHour))) (exists (?GUST) (and (greaterThanOrEqualTo ?GUST ?MIN) (lessThanOrEqualTo ?GUST ?MAX) (believes ?A (equal (MeasureFn ?GUST MilesPerHour) (ThreeSecondGustSpeedFn ?AREA (WhenFn ?T)))))))	Weather.kif 2095-2113	如果过程是龙卷风的 instance 和时速级数属性是改良藤田级数的 instance 和那个过程是 located 在 2 和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数英里每小時和另一个实数英里每小時，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数英里每小時 equal 在那个过程出现的 time 时间结束以前，发生在区域那个有认知的主事REA 的 ThreeSecondGustSpeedFn (3秒阵风风速)

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: