TreeView Knowledge Base Browser - measuringResult

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

measuringResult

Sigma KEE - measuringResult

measuringResult

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1792-1796
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1786-1790
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1798-1798	量度结果的 1 数量是量度串列的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1799-1799	量度结果的 2 数量是量度结果串列的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1800-1800	量度结果是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1797-1797
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1791-1791
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10415-10415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10414-10414

antecedent

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

Weather.kif 1802-1807

如果量度结果串列是量度串列的（结果） result 和过程 equal 那个量度串列的第正整数几个元素和实体 equal 那个量度结果串列的第那个正整数几个元素，
然后那个实体是那个过程的 result

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2236	如果函数量 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 2324-2341	如果函数量 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 2289-2306	如果函数量 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 2254-2271	如果函数量 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 1900-1917	如果函数量 equal 地理区域地区在时距时段的 Mean3SecondWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 0.25 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了3 第二期那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring

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