TreeView Knowledge Base Browser - PhysicalQuantityToNumberFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

PhysicalQuantityToNumberFn

Sigma KEE - PhysicalQuantityToNumberFn

PhysicalQuantityToNumberFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1826-1828
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1821-1823
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1830-1830	域 PhysicalQuantityToNumberFn, 1 and MeasuringResultList
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1831-1831	例 PhysicalQuantityToNumberFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1832-1832	範圍 PhysicalQuantityToNumberFn and NumberList

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1829-1829
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1824-1825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10409-10409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10408-10408

antecedent

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

Weather.kif 1834-1841

等於 NumberList and PhysicalQuantityToNumberFn MeasuringResultList 等於 PhysicalQuantity and 清單順序 MeasuringResultList and PositiveInteger 等於 PositiveIntegerUM and 清單順序 NumberList and PositiveInteger
等於測量 PositiveIntegerUM and UnitOfMeasure and PhysicalQuantity

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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2034-2044	等於 FunctionQuantity and ThreeSecondGustSpeedFn GeographicArea and TimeInterval FunctionQuantityLIST NumberList and UnitOfMeasure 等於 FunctionQuantityLIST and Mean3SecondWindSpeedListFn GeographicArea and TimeInterval 等於 NumberList and PhysicalQuantityToNumberFn FunctionQuantityLIST 等於 FunctionQuantity and 測量 MaxValueFn NumberList and UnitOfMeasure

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