MilesPerHour - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1678-1679
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1676-1677
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1682-1682	例 MilesPerHour and CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1681-1681	例 MilesPerHour and FunctionQuantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1680-1680	名 "mph" and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10443-10443	名 "mph" and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10442-10442	名 "mph" and MilesPerHour

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1684-1690	等於 FunctionQuantity and 測量 RealNumber and MilesPerHour 等於 FunctionQuantity and 速度測量 RealNumber and 英里 and 測量 1 and 小時
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11339-11347	attribute Object and Windy 位於 Object and Object 等於 TimeInterval and 何時 Object 持有期間 TimeInterval and 測量 RealNumber and MilesPerHour 是 Object 的 surface 風速比較多 RealNumber and 20.0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	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 2868-2886	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 2914-2932	例 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 2941-2957	例 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 2893-2905	例 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 2078-2096	例 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

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 2914-2932	例 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 2941-2957	例 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 2893-2905	例 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 2425-2439	例 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 2173-2187	例 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 2078-2096	例 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 472-484	例 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 724-735	例 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 758-769	例 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 665-675	例 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 644-654	例 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 700-711	例 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 363-363	speedScaleAttributeMinMax BeaufortNumber0, 測量 0.0 and MilesPerHour and 測量 1.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 372-372	speedScaleAttributeMinMax BeaufortNumber1, 測量 1.0 and MilesPerHour and 測量 3.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 454-454	speedScaleAttributeMinMax BeaufortNumber10, 測量 55.0 and MilesPerHour and 測量 63.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 463-463	speedScaleAttributeMinMax BeaufortNumber11, 測量 64.0 and MilesPerHour and 測量 72.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 381-381	speedScaleAttributeMinMax BeaufortNumber2, 測量 4.0 and MilesPerHour and 測量 7.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 391-391	speedScaleAttributeMinMax BeaufortNumber3, 測量 8.0 and MilesPerHour and 測量 12.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 400-400	speedScaleAttributeMinMax BeaufortNumber4, 測量 13.0 and MilesPerHour and 測量 18.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 409-409	speedScaleAttributeMinMax BeaufortNumber5, 測量 19.0 and MilesPerHour and 測量 24.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 418-418	speedScaleAttributeMinMax BeaufortNumber6, 測量 25.0 and MilesPerHour and 測量 31.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 427-427	speedScaleAttributeMinMax BeaufortNumber7, 測量 32.0 and MilesPerHour and 測量 38.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 436-436	speedScaleAttributeMinMax BeaufortNumber8, 測量 39.0 and MilesPerHour and 測量 46.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 445-445	speedScaleAttributeMinMax BeaufortNumber9, 測量 47.0 and MilesPerHour and 測量 54.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2133-2133	speedScaleAttributeMinMax EF0, 測量 65.0 and MilesPerHour and 測量 85.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2141-2141	speedScaleAttributeMinMax EF1, 測量 86.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2149-2149	speedScaleAttributeMinMax EF2, 測量 111.0 and MilesPerHour and 測量 135.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2157-2157	speedScaleAttributeMinMax EF3, 測量 136.0 and MilesPerHour and 測量 165.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2165-2165	speedScaleAttributeMinMax EF4, 測量 166.0 and MilesPerHour and 測量 200.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2378-2378	speedScaleAttributeMinMax SSHWS1, 測量 74.0 and MilesPerHour and 測量 95.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2390-2390	speedScaleAttributeMinMax SSHWS2, 測量 96.0 and MilesPerHour and 測量 110.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2402-2402	speedScaleAttributeMinMax SSHWS3, 測量 111.0 and MilesPerHour and 測量 129.0 and MilesPerHour
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2414-2414	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: