TreeView Knowledge Base Browser - ThreeSecondGustSpeedFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ThreeSecondGustSpeedFn

ThreeSecondGustSpeedFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2025-2026
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2021-2023
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2029-2029	域 ThreeSecondGustSpeedFn, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2030-2030	域 ThreeSecondGustSpeedFn, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2032-2032	例 ThreeSecondGustSpeedFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2031-2031	範圍 ThreeSecondGustSpeedFn and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2027-2028
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2024-2024
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10385-10385
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10384-10384

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2187-2201	例 Process and 龍捲風例 Entity and EF5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 200.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2092-2110	例 Process and 龍捲風例 SpeedScaleAttribute and EFScaleAttribute Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, 測量 RealNumber and MilesPerHour and 測量 RealNumber and MilesPerHour RealNumber 大於或等於 RealNumber and RealNumber 小於或等於 RealNumber and RealNumber 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and ThreeSecondGustSpeedFn Object and 何時 Process

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