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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThreeSecondGustSpeedFn
ThreeSecondGustSpeedFn

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


s__documentation(s__ThreeSecondGustSpeedFn__m,s__ChineseLanguage,'"(ThreeSecondGustSpeedFn ?PLACE ?TIME) 得出于 ?TIME 2 分钟TimeInterval(时间间隔), 在?PLACE 所录得的最高累积3秒平均风速。"')

Weather.kif 2022-2023
s__documentation(s__ThreeSecondGustSpeedFn__m,s__EnglishLanguage,'"(ThreeSecondGustSpeedFn ?PLACE ?TIME) returns the highest running 3-second average wind speed recorded at ?PLACE in the 2 minutes TimeInterval ?TIME."')

Weather.kif 2018-2020
s__domain(s__ThreeSecondGustSpeedFn__m,n__1,s__GeographicArea)

Weather.kif 2026-2026 The number 1 argument of three second gust speed is an instance of geographic area
s__domain(s__ThreeSecondGustSpeedFn__m,n__2,s__TimeInterval)

Weather.kif 2027-2027 The number 2 argument of three second gust speed is an instance of time interval
s__instance(s__BinaryFunction,s__Class)

s__instance(s__ThreeSecondGustSpeedFn__m,s__BinaryFunction)

Weather.kif 2029-2029 Three second gust speed is an instance of binary function
s__range(s__ThreeSecondGustSpeedFn__m,s__FunctionQuantity)

Weather.kif 2028-2028 The range of three second gust speed is an instance of function quantity

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


s__format(s__ChineseLanguage,s__ThreeSecondGustSpeedFn__m,'"在 %2 时间结束以前, 发生在区域 %1 的 ThreeSecondGustSpeedFn (3秒阵风风速)"')

Weather.kif 2024-2025
s__format(s__EnglishLanguage,s__ThreeSecondGustSpeedFn__m,'"ThreeSecondSpeedGustFn ending at %2 in %1"')

Weather.kif 2021-2021
s__termFormat(s__ChineseLanguage,s__ThreeSecondGustSpeedFn__m,'"3秒阵风风速"')

domainEnglishFormat.kif 10394-10394
s__termFormat(s__EnglishLanguage,s__ThreeSecondGustSpeedFn__m,'"three second gust speed"')

domainEnglishFormat.kif 10393-10393

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


( ! [V__SPEED,V__TIME,V__PLACE,V__UNIT] :
   (((s__instance(V__SPEED,s__FunctionQuantity) &
         s__instance(V__TIME,s__TimeInterval) &
         s__instance(V__PLACE,s__GeographicArea) &
         s__instance(V__UNIT,s__UnitOfMeasure))
       =>
       (((V__SPEED = s__ThreeSecondGustSpeedFn(V__PLACE,V__TIME))
         =>
         (( ? [V__SPEEDLIST, V__NLIST] :
             ((s__instance(V__SPEEDLIST,s__MeasuringResultList) &
                 s__instance(V__NLIST,s__NumberList) &
                 ((V__SPEEDLIST = s__Mean3SecondWindSpeedListFn(V__PLACE,V__TIME))
                 &
                 (V__NLIST = s__PhysicalQuantityToNumberFn(V__SPEEDLIST))
               &
               (V__SPEED = s__MeasureFn(s__MaxValueFn(V__NLIST)
              ,V__UNIT))))))))))
)
)

Weather.kif 2031-2041

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2184-2198
No TPTP formula. May not be expressible in strict first order. Weather.kif 2089-2107


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