MilesPerHour - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1696-1697
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1694-1695
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1700-1700	例 MilesPerHour and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1699-1699	例 MilesPerHour and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1698	名 "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 1702-1708	等於 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 2585-2603	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 2884-2902	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 2930-2948	例 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 2957-2973	例 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 2909-2921	例 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 2096-2114	例 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 11264-11272	例 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 2930-2948	例 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 2957-2973	例 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 2909-2921	例 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 2443-2457	例 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 2191-2205	例 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 2096-2114	例 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 740-751	例 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 774-785	例 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 681-691	例 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 660-670	例 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 716-727	例 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 2151-2151	speedScaleAttributeMinMax EF0, 測量 65.0 and MilesPerHour and 測量 85.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2159-2159	speedScaleAttributeMinMax EF1, 測量 86.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2167-2167	speedScaleAttributeMinMax EF2, 測量 111.0 and MilesPerHour and 測量 135.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2175-2175	speedScaleAttributeMinMax EF3, 測量 136.0 and MilesPerHour and 測量 165.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2183-2183	speedScaleAttributeMinMax EF4, 測量 166.0 and MilesPerHour and 測量 200.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2396-2396	speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2408-2408	speedScaleAttributeMinMax SSHWS2, 測量 96.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2420-2420	speedScaleAttributeMinMax SSHWS3, 測量 111.0 and MilesPerHour and 測量 129.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2432-2432	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: