TreeView Knowledge Base Browser - measuringListInterval

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

measuringListInterval

Sigma KEE - measuringListInterval

measuringListInterval

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1856-1856	量度串列时间间隔的 1 数量是量度串列的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1857-1857	量度串列时间间隔的 2 数量是持续时间的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1858-1858	量度串列时间间隔是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1852-1854
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1847-1850
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1855-1855
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1851-1851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10403-10403
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10402-10402

antecedent

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

Weather.kif 1860-1864

如果（量度） Measuring 串列量度串列在持续时间的时间间隔发生和物理是那个量度串列的 member，
然后那个物理出现的 time 的 duration 是那个持续时间

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2223-2240	如果函数量 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 2328-2345	如果函数量 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 2293-2310	如果函数量 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 2258-2275	如果函数量 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 1904-1921	如果函数量 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