TreeView Knowledge Base Browser - measuringListDuration

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

measuringListDuration

Sigma KEE - measuringListDuration

measuringListDuration

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1870-1870	域 measuringListDuration, 1 and MeasuringList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1871-1871	域 measuringListDuration, 2 and TimeDuration
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1872-1872	例 measuringListDuration and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1866-1868
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1862-1864
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1869-1869
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1865-1865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10400-10400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10399-10399

antecedent

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

Weather.kif 1874-1882

measuringListDuration MeasuringList and TimeDuration
TimeInterval 等於 TimeInterval and 時間間隔開始何時 MeasuringList 的 first and 結束何時 MeasuringList 的 last 持續時間 TimeInterval and TimeDuration

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 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