AverageFn - Sigma Knowledge base Browser

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 and List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3270-3270	例 AverageFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3272-3272	範圍 AverageFn and RealNumber

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	等於 RealNumber and AverageFn List 比較多列表長度 List and 0 等於 RealNumber and 部 ListSumFn List and 列表長度 List
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3286-3290	等於 RealNumber and AverageFn List 在列表中 Entity and List 例 Entity and Number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1471-1480	等於 RealNumber and VarianceFn List 等於 RealNumber and AverageFn List 等於 RealNumber and 部 VarianceAverageFn RealNumber and List and 列表長度 List

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2219-2236	等於 FunctionQuantity and Mean10MinutesWindSpeedFn GeographicArea and TimeInterval 持有期間 TimeInterval and entity entity, entity and entity 例 entity and MeasuringSurfaceWindSpeedList locationMeasuringList entity and GeographicArea measuringListInterval entity and 測量 5 and 第二期 measuringListDuration entity and 測量 10 and 分鐘等於 120 and 列表長度 entity measuringResult entity and entity 等於 entity and PhysicalQuantityToNumberFn entity 等於 FunctionQuantity and 測量 AverageFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2324-2341	等於 FunctionQuantity and Mean1MinuteWindSpeedFn GeographicArea and TimeInterval 持有期間 TimeInterval and entity entity, entity and entity 例 entity and MeasuringSurfaceWindSpeedList locationMeasuringList entity and GeographicArea measuringListInterval entity and 測量 5 and 第二期 measuringListDuration entity and 測量 1 and 分鐘等於 12 and 列表長度 entity measuringResult entity and entity 等於 entity and PhysicalQuantityToNumberFn entity 等於 FunctionQuantity and 測量 AverageFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2289-2306	等於 FunctionQuantity and Mean2MinutesWindSpeedFn GeographicArea and TimeInterval 持有期間 TimeInterval and entity entity, entity and entity 例 entity and MeasuringSurfaceWindSpeedList locationMeasuringList entity and GeographicArea measuringListInterval entity and 測量 5 and 第二期 measuringListDuration entity and 測量 2 and 分鐘等於 24 and 列表長度 entity measuringResult entity and entity 等於 entity and PhysicalQuantityToNumberFn entity 等於 FunctionQuantity and 測量 AverageFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2254-2271	等於 FunctionQuantity and Mean3MinutesWindSpeedFn GeographicArea and TimeInterval 持有期間 TimeInterval and entity entity, entity and entity 例 entity and MeasuringSurfaceWindSpeedList locationMeasuringList entity and GeographicArea measuringListInterval entity and 測量 5 and 第二期 measuringListDuration entity and 測量 2 and 分鐘等於 36 and 列表長度 entity measuringResult entity and entity 等於 entity and PhysicalQuantityToNumberFn entity 等於 FunctionQuantity and 測量 AverageFn entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1900-1917	等於 FunctionQuantity and Mean3SecondWindSpeedFn GeographicArea and TimeInterval 持有期間 TimeInterval and entity entity, entity and entity 例 entity and MeasuringSurfaceWindSpeedList locationMeasuringList entity and GeographicArea measuringListInterval entity and 測量 0.25 and 第二期 measuringListDuration entity and 測量 3 and 第二期等於 12 and 列表長度 entity measuringResult entity and entity 等於 entity and PhysicalQuantityToNumberFn entity 等於 FunctionQuantity and 測量 AverageFn entity and entity

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