Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilesPerHour
MilesPerHour(英里每小時)

appearance as argument number 1
-------------------------


(documentation MilesPerHour ChineseLanguage "MilesPerHour是一个速度计量单位， 表示每小時(HourDuration)经过的英里(Mile)距离。") Weather.kif 1679-1680
(documentation MilesPerHour EnglishLanguage "MilesPerHour is a unit for measuring speed, expressed in the number of Miles travelled in a one HourDuration.") Weather.kif 1677-1678
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1683-1683 英里每小時 是 CompositeUnitOfMeasure 的 instance
(instance MilesPerHour FunctionQuantity) Weather.kif 1682-1682 英里每小時 是 函数量 的 instance

appearance as argument number 2
-------------------------


(names "mph" MilesPerHour) Weather.kif 1681-1681 英里每小時 的名 是 "mph"
(termFormat ChineseLanguage MilesPerHour "英里每小時") domainEnglishFormat.kif 10430-10430
(termFormat EnglishLanguage MilesPerHour "miles per hour") domainEnglishFormat.kif 10429-10429

antecedent
-------------------------


(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 1685-1691 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时
(=>
    (and
        (engineIdleSpeed ?E
            (RotationFn
                (MeasureFn ?N1 MilesPerHour) ?M))
        (instance ?A Automobile)
        (instance ?P GasPedal)
        (instance ?P Pushing)
        (destination ?P ?GP)
        (part ?E ?A)
        (part ?GP ?A)
        (instance ?C Crankshaft)
        (part ?C ?E)
        (holdsDuring
            (WhenFn ?P)
            (measure ?C
                (RotationFn
                    (MeasureFn ?N2 MilesPerHour) ?M))))
    (modalAttribute
        (greaterThan ?N2 ?N1) Likely))		 Cars.kif 2568-2586
(=>
    (and
        (governorSpeed ?V ?Q)
        (equal
            (MeasureFn ?FAST MilesPerHour)
            (SpeedFn ?L1 ?T1))
        (equal
            (MeasureFn ?SLOW MilesPerHour)
            (SpeedFn ?L2 ?T2))
        (greaterThan ?FAST ?SLOW)
        (equal ?FASTPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?FAST MilesPerHour))))
        (equal ?SLOWPROB
            (ProbabilityFn
                (measure ?V
                    (MeasureFn ?SLOW MilesPerHour)))))
    (greaterThan ?SLOWPROB ?FASTPROB))		 Cars.kif 2867-2885
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2913-2931
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2940-2956
(=>
    (and
        (instance ?G SpeedGovernor)
        (governorSpeed ?V
            (MeasureFn ?S MilesPerHour))
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V
                        (MeasureFn ?SP2 MilesPerHour))
                    (greaterThan ?SP2 ?S))))))		 Cars.kif 2892-2904
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EFScaleAttribute)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF))
        (speedScaleAttributeMinMax ?EF
            (MeasureFn ?MIN MilesPerHour)
            (MeasureFn ?MAX MilesPerHour)))
    (exists (?GUST)
        (and
            (greaterThanOrEqualTo ?GUST ?MIN)
            (lessThanOrEqualTo ?GUST ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2079-2097
(=>
    (and
        (instance ?W Windy)
        (located ?W ?L)
        (equal ?T
            (WhenFn ?W))
        (holdsDuring ?T
            (surfaceWindSpeed ?L
                (MeasureFn ?N MilesPerHour))))
    (greaterThan ?N 20.0))		 Merge.kif 11310-11318

consequent
-------------------------


(=>
    (and
        (instance ?B Braking)
        (patient ?B ?O))
    (and
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A1 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?B))
            (equal
                (MeasureFn ?A2 MilesPerHour)
                (AccelerationFn ?FQ ?T ?O ?D)))
        (greaterThan ?A1 ?A2)))		 Cars.kif 1252-1267
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?E Engine)
        (connectedEngineeringComponents ?EG ?E)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?R ?P ?M)
                (and
                    (instance ?P Device)
                    (part ?P ?E)
                    (instance ?R Rotating)
                    (holdsDuring
                        (WhenFn ?R)
                        (and
                            (measure ?P
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2913-2931
(=>
    (and
        (instance ?EG EngineGovernor)
        (instance ?V Vehicle)
        (connectedEngineeringComponents ?EG ?V)
        (governorSpeed ?E
            (MeasureFn ?S MilesPerHour)))
    (hasPurpose ?EG
        (not
            (exists (?T ?M)
                (and
                    (instance ?T Translocation)
                    (holdsDuring
                        (WhenFn ?T)
                        (and
                            (measure ?V
                                (MeasureFn ?M MilesPerHour))
                            (greaterThan ?M ?S))))))))		 Cars.kif 2940-2956
(=>
    (and
        (instance ?G SpeedGovernor)
        (governorSpeed ?V
            (MeasureFn ?S MilesPerHour))
        (connectedEngineeringComponents ?G ?V))
    (hasPurpose ?G
        (not
            (exists (?SP2)
                (and
                    (measure ?V
                        (MeasureFn ?SP2 MilesPerHour))
                    (greaterThan ?SP2 ?S))))))		 Cars.kif 2892-2904
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157.0)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2426-2440
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EF5)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF)))
    (exists (?GUST)
        (and
            (greaterThan ?GUST 200.0)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2174-2188
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EFScaleAttribute)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF))
        (speedScaleAttributeMinMax ?EF
            (MeasureFn ?MIN MilesPerHour)
            (MeasureFn ?MAX MilesPerHour)))
    (exists (?GUST)
        (and
            (greaterThanOrEqualTo ?GUST ?MIN)
            (lessThanOrEqualTo ?GUST ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2079-2097
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumber12)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN)))
    (exists (?SPEED)
        (and
            (greaterThan ?SPEED 73.0)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED MilesPerHour))))))		 Weather.kif 472-484
(=>
    (instance ?H Hurricane)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 74.0))))		 Weather.kif 724-735
(=>
    (instance ?T Typhoon)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean10MinutesWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 64.0))))		 Weather.kif 758-769
(=>
    (instance ?TC TropicalCyclone)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 44.0))))		 Weather.kif 665-675
(=>
    (instance ?TD TropicalDepression)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TD ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TD)))
            (lessThanOrEqualTo ?WIND 38.0))))		 Weather.kif 644-654
(=>
    (instance ?TS TropicalStorm)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TS ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TS)))
            (greaterThanOrEqualTo ?WIND 39.0)
            (lessThanOrEqualTo ?WIND 74.0))))		 Weather.kif 700-711

statement
-------------------------


(speedScaleAttributeMinMax BeaufortNumber0
    (MeasureFn 0.0 MilesPerHour)
    (MeasureFn 1.0 MilesPerHour))		 Weather.kif 363-363 浦氏0风级 的最低和最高是 0.0 英里每小時 和 1.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber1
    (MeasureFn 1.0 MilesPerHour)
    (MeasureFn 3.0 MilesPerHour))		 Weather.kif 372-372 浦氏1风级 的最低和最高是 1.0 英里每小時 和 3.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber10
    (MeasureFn 55.0 MilesPerHour)
    (MeasureFn 63.0 MilesPerHour))		 Weather.kif 454-454 浦氏10风级 的最低和最高是 55.0 英里每小時 和 63.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber11
    (MeasureFn 64.0 MilesPerHour)
    (MeasureFn 72.0 MilesPerHour))		 Weather.kif 463-463 浦氏11风级 的最低和最高是 64.0 英里每小時 和 72.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber2
    (MeasureFn 4.0 MilesPerHour)
    (MeasureFn 7.0 MilesPerHour))		 Weather.kif 381-381 浦氏2风级 的最低和最高是 4.0 英里每小時 和 7.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber3
    (MeasureFn 8.0 MilesPerHour)
    (MeasureFn 12.0 MilesPerHour))		 Weather.kif 391-391 浦氏3风级 的最低和最高是 8.0 英里每小時 和 12.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber4
    (MeasureFn 13.0 MilesPerHour)
    (MeasureFn 18.0 MilesPerHour))		 Weather.kif 400-400 浦氏4风级 的最低和最高是 13.0 英里每小時 和 18.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber5
    (MeasureFn 19.0 MilesPerHour)
    (MeasureFn 24.0 MilesPerHour))		 Weather.kif 409-409 浦氏5风级 的最低和最高是 19.0 英里每小時 和 24.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber6
    (MeasureFn 25.0 MilesPerHour)
    (MeasureFn 31.0 MilesPerHour))		 Weather.kif 418-418 浦氏6风级 的最低和最高是 25.0 英里每小時 和 31.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber7
    (MeasureFn 32.0 MilesPerHour)
    (MeasureFn 38.0 MilesPerHour))		 Weather.kif 427-427 浦氏7风级 的最低和最高是 32.0 英里每小時 和 38.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber8
    (MeasureFn 39.0 MilesPerHour)
    (MeasureFn 46.0 MilesPerHour))		 Weather.kif 436-436 浦氏8风级 的最低和最高是 39.0 英里每小時 和 46.0 英里每小時
(speedScaleAttributeMinMax BeaufortNumber9
    (MeasureFn 47.0 MilesPerHour)
    (MeasureFn 54.0 MilesPerHour))		 Weather.kif 445-445 浦氏9风级 的最低和最高是 47.0 英里每小時 和 54.0 英里每小時
(speedScaleAttributeMinMax EF0
    (MeasureFn 65.0 MilesPerHour)
    (MeasureFn 85.0 MilesPerHour))		 Weather.kif 2134-2134 改良藤田0 的最低和最高是 65.0 英里每小時 和 85.0 英里每小時
(speedScaleAttributeMinMax EF1
    (MeasureFn 86.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))		 Weather.kif 2142-2142 改良藤田1 的最低和最高是 86.0 英里每小時 和 110.0 英里每小時
(speedScaleAttributeMinMax EF2
    (MeasureFn 111.0 MilesPerHour)
    (MeasureFn 135.0 MilesPerHour))		 Weather.kif 2150-2150 改良藤田2 的最低和最高是 111.0 英里每小時 和 135.0 英里每小時
(speedScaleAttributeMinMax EF3
    (MeasureFn 136.0 MilesPerHour)
    (MeasureFn 165.0 MilesPerHour))		 Weather.kif 2158-2158 改良藤田3 的最低和最高是 136.0 英里每小時 和 165.0 英里每小時
(speedScaleAttributeMinMax EF4
    (MeasureFn 166.0 MilesPerHour)
    (MeasureFn 200.0 MilesPerHour))		 Weather.kif 2166-2166 改良藤田4 的最低和最高是 166.0 英里每小時 和 200.0 英里每小時
(speedScaleAttributeMinMax SSHWS1
    (MeasureFn 74.0 MilesPerHour)
    (MeasureFn 95.0 MilesPerHour))		 Weather.kif 2379-2379 萨菲尔辛普森飓风1 的最低和最高是 74.0 英里每小時 和 95.0 英里每小時
(speedScaleAttributeMinMax SSHWS2
    (MeasureFn 96.0 MilesPerHour)
    (MeasureFn 110.0 MilesPerHour))		 Weather.kif 2391-2391 萨菲尔辛普森飓风2 的最低和最高是 96.0 英里每小時 和 110.0 英里每小時
(speedScaleAttributeMinMax SSHWS3
    (MeasureFn 111.0 MilesPerHour)
    (MeasureFn 129.0 MilesPerHour))		 Weather.kif 2403-2403 萨菲尔辛普森飓风3 的最低和最高是 111.0 英里每小時 和 129.0 英里每小時
(speedScaleAttributeMinMax SSHWS4
    (MeasureFn 130.0 MilesPerHour)
    (MeasureFn 156.0 MilesPerHour))		 Weather.kif 2415-2415 萨菲尔辛普森飓风4 的最低和最高是 130.0 英里每小時 和 156.0 英里每小時


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