MilesPerHour - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1692-1693
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1690-1691
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1696-1696	例 MilesPerHour and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1695-1695	例 MilesPerHour and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1694-1694	名 "mph" and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10430-10430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10429-10429

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1704	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	governorSpeed SpeedGovernor and FunctionQuantity 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 等於測量 RealNumber and MilesPerHour and 速度 LengthMeasure and TimeDuration 比較多 RealNumber and RealNumber 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 等於 RealNumberPROB and 可能性測量 SpeedGovernor and 測量 RealNumber and MilesPerHour 比較多 RealNumberPROB and RealNumberPROB
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉持有期間何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位持有期間何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	例 EngineeringComponent and SpeedGovernor governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 連接的工程組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and RealNumberP2 測量 EngineeringComponent and 測量 RealNumberP2 and MilesPerHour 比較多 RealNumberP2 and RealNumber
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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11286-11294	例 Physical and 風位於 Physical and Object 等於 TimeInterval and 何時 Physical 持有期間 TimeInterval and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速比較多 RealNumber and 20.0

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1252-1267	例 Process and Braking 患者 Process and Entity 持有期間不久的過去何時 Process and 等於測量 RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity 持有期間眼前的未來何時 Process and 等於測量 RealNumber and MilesPerHour and AccelerationFn entity, entity, Entity and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉持有期間何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2963-2979	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 車輛連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed SpeedGovernor and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity 例 entity and 易位持有期間何時 entity and 測量 EngineeringComponent and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2915-2927	例 EngineeringComponent and SpeedGovernor governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 連接的工程組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and RealNumberP2 測量 EngineeringComponent and 測量 RealNumberP2 and MilesPerHour 比較多 RealNumberP2 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2439-2453	例 Process and 颶風例 Entity and SSHWS5 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 157.0 相信 CognitiveAgent and 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn Object and 何時 Process
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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	例 Process and 風例 Entity and BeaufortNumber12 Process 是 located 在 Object 相信 CognitiveAgent and 屬性 Process and Entity RealNumber 比較多 RealNumber and 73.0 相信 CognitiveAgent and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速
No TPTP formula. May not be expressible in strict first order.	Weather.kif 736-747	例 Entity and 颶風 Process GeographicArea and RealNumber 例 Process and 熱帶氣旋例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 770-781	例 Entity and 颱風 EntityC GeographicArea and RealNumber 例 EntityC and 熱帶氣旋例 GeographicArea and GeographicArea EntityC 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean10MinutesWindSpeedFn GeographicArea and 何時 EntityC 大於或等於 RealNumber and 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 677-687	例 Process and 熱帶氣旋 GeographicArea RealNumber 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 656-666	例 Process and TropicalDepression GeographicArea RealNumber 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 小於或等於 RealNumber and 38.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 712-723	例 Process and TropicalStorm GeographicArea RealNumber 例 GeographicArea and GeographicArea Process 是 located 在 GeographicArea 等於測量 RealNumber and MilesPerHour and Mean1MinuteWindSpeedFn GeographicArea and 何時 Process 大於或等於 RealNumber and 39.0 小於或等於 RealNumber and 74.0

statement

No TPTP formula. May not be expressible in strict first order.	Weather.kif 375-375	speedScaleAttributeMinMax BeaufortNumber0, 測量 0.0 and MilesPerHour and 測量 1.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 384-384	speedScaleAttributeMinMax BeaufortNumber1, 測量 1.0 and MilesPerHour and 測量 3.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 466-466	speedScaleAttributeMinMax BeaufortNumber10, 測量 55.0 and MilesPerHour and 測量 63.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 475-475	speedScaleAttributeMinMax BeaufortNumber11, 測量 64.0 and MilesPerHour and 測量 72.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 393-393	speedScaleAttributeMinMax BeaufortNumber2, 測量 4.0 and MilesPerHour and 測量 7.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 403-403	speedScaleAttributeMinMax BeaufortNumber3, 測量 8.0 and MilesPerHour and 測量 12.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 412-412	speedScaleAttributeMinMax BeaufortNumber4, 測量 13.0 and MilesPerHour and 測量 18.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 421-421	speedScaleAttributeMinMax BeaufortNumber5, 測量 19.0 and MilesPerHour and 測量 24.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 430-430	speedScaleAttributeMinMax BeaufortNumber6, 測量 25.0 and MilesPerHour and 測量 31.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 439-439	speedScaleAttributeMinMax BeaufortNumber7, 測量 32.0 and MilesPerHour and 測量 38.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 448-448	speedScaleAttributeMinMax BeaufortNumber8, 測量 39.0 and MilesPerHour and 測量 46.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 457-457	speedScaleAttributeMinMax BeaufortNumber9, 測量 47.0 and MilesPerHour and 測量 54.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2147-2147	speedScaleAttributeMinMax EF0, 測量 65.0 and MilesPerHour and 測量 85.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2155-2155	speedScaleAttributeMinMax EF1, 測量 86.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2163-2163	speedScaleAttributeMinMax EF2, 測量 111.0 and MilesPerHour and 測量 135.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2171-2171	speedScaleAttributeMinMax EF3, 測量 136.0 and MilesPerHour and 測量 165.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2179-2179	speedScaleAttributeMinMax EF4, 測量 166.0 and MilesPerHour and 測量 200.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2392-2392	speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2404-2404	speedScaleAttributeMinMax SSHWS2, 測量 96.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2416-2416	speedScaleAttributeMinMax SSHWS3, 測量 111.0 and MilesPerHour and 測量 129.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2428-2428	speedScaleAttributeMinMax SSHWS4, 測量 130.0 and MilesPerHour and 測量 156.0 and MilesPerHour

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

KB Term:			Term intersection

English Word: