Mean1MinuteWindSpeedFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mean1MinuteWindSpeedFn

Mean1MinuteWindSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2318-2321
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2312-2316
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2323-2323	1分钟平均地面风速的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2324	1分钟平均地面风速的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2326-2326	1分钟平均地面风速是二元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2325-2325	1分钟平均地面风速的 range 是函数量的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2317-2317
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10382-10382
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10381-10381

antecedent

No TPTP formula. May not be expressible in strict first order.

Weather.kif 2328-2345

如果函数量 equal 地理区域地区在时距时段的 Mean1MinuteWindSpeedFn，
然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了1 分钟那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2443-2457	如果过程是飓风的 instance 和实体是萨菲尔辛普森飓风5 的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个实体的 attribute，然后有存在实数这样那个实数是 greaterThan 157.0 和那个有认知的主事 believes 那个实数英里每小時 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2365-2384	如果过程是飓风的 instance 和时速级数属性是萨菲尔辛普森飓风风力等级的 instance 和那个过程是 located 在客体和有认知的主事 believes 那个过程有那个时速级数属性的 attribute 和那个时速级数属性的最低和最高是实数测量单位和另一个实数那个测量单位和那个测量单位是测量单位的 instance，然后有存在第三实数这样那个第三实数是 greaterThanOrEqualTo 那个实数和那个第三实数是 lessThanOrEqualTo 那个另外实数和那个有认知的主事 believes 那个第三实数那个测量单位 equal 那个客体地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	如果实体是飓风的 instance，然后有存在过程，地理区域， and 和实数这样那个过程是热带气旋的 instance 和那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	如果过程是热带气旋的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-670	如果过程是热带低气压的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 lessThanOrEqualTo 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	如果过程是热带风暴的 instance，然后有存在地理区域和实数这样那个地理区域是地理区域的 instance 和那个过程是 located 在那个地理区域和那个实数英里每小時 equal 那个地理区域地区在那个过程出现的 time时段的 Mean1MinuteWindSpeedFn 和那个实数是 greaterThanOrEqualTo 39.0 和那个实数是 lessThanOrEqualTo 74.0

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