PhysicalQuantityToNumberFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PhysicalQuantityToNumberFn

PhysicalQuantityToNumberFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1813-1815
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1808-1810
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1817-1817	物理量转数字的 1 数量是量度结果串列的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1818-1818	物理量转数字是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1819-1819	物理量转数字的 range 是数字串列的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1816-1816
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1811-1812
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10409-10409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10408-10408

antecedent

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

Weather.kif 1821-1828

如果数字串列 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是量度结果串列和物理量 equal 那个量度结果串列的第正整数几个元素和那个正整数UM equal 那个数字串列的第那个正整数几个元素，
然后那个正整数UM 测量单位 equal 那个物理量

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2206-2223	如果函数量 equal 地理区域地区在时距时段的 Mean10MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了10 分钟那么久的时间和 120 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2311-2328	如果函数量 equal 地理区域地区在时距时段的 Mean1MinuteWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了1 分钟那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2276-2293	如果函数量 equal 地理区域地区在时距时段的 Mean2MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了2 分钟那么久的时间和 24 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2241-2258	如果函数量 equal 地理区域地区在时距时段的 Mean3MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了2 分钟那么久的时间和 36 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1887-1904	如果函数量 equal 地理区域地区在时距时段的 Mean3SecondWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 0.25 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了3 第二期那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2021-2031	如果函数量 equal 在时距时间结束以前，发生在区域地理区域的 ThreeSecondGustSpeedFn (3秒阵风风速)，然后有存在那个函数量LIST，数字串列， and 和测量单位这样那个函数量LIST equal 在那个时距时间结束以前，发生在区域那个地理区域的 Mean3SecondWindSpeedListFn (平均3秒风速表列) 和那个数字串列 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个函数量LIST 和那个函数量 equal 那个数字串列串列中的最大值那个测量单位

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