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 1796-1800
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1790-1794
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1802-1802	域 measuringResult, 1 and MeasuringList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1803-1803	域 measuringResult, 2 and MeasuringResultList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1804-1804	例 measuringResult and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1801-1801
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1795-1795
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 1806-1811

measuringResult MeasuringList and MeasuringResultList 等於 Process and 清單順序 MeasuringList and PositiveInteger 等於 Entity and 清單順序 MeasuringResultList and PositiveInteger
結果 Process and Entity

consequent

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