TreeView Knowledge Base Browser - AverageFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AverageFn

AverageFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3273-3273
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3271-3271	AverageFn 的 1 数量是串列的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3270-3270	AverageFn 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3272-3272	AverageFn 的 range 是实数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3275-3275
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3274-3274

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	如果实数 equal AverageFn 串列和那个串列的长度是 greaterThan 0，然后那个实数 equal ListSumFn 那个串列和那个串列的长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3286-3290	如果实数 equal AverageFn 串列和实体是那个串列的 member，然后那个实体是数字的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	如果实数 equal 方差函数串列和另一个实数 equal AverageFn 那个串列，然后那个实数 equal 方差均差函数那个另外实数 and 那个串列和那个串列的长度

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