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 1695-1696
(documentation MilesPerHour EnglishLanguage "MilesPerHour is a unit for measuring speed, expressed in the number of Miles travelled in a one HourDuration.") Weather.kif 1693-1694
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1699-1699
(instance MilesPerHour FunctionQuantity) Weather.kif 1698-1698

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


(names "mph" MilesPerHour) Weather.kif 1697-1697
(termFormat ChineseLanguage MilesPerHour "英里每小時") domainEnglishFormat.kif 10439-10439
(termFormat EnglishLanguage MilesPerHour "miles per hour") domainEnglishFormat.kif 10438-10438

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


(<=>
    (equal ?SPEED
        (MeasureFn ?NUM MilesPerHour))
    (equal ?SPEED
        (SpeedFn
            (MeasureFn ?NUM Mile)
            (MeasureFn 1 HourDuration))))		 Weather.kif 1701-1707
(=>
    (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 2599-2617
(=>
    (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 2898-2916
(=>
    (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 2944-2962
(=>
    (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 2971-2987
(=>
    (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 2923-2935
(=>
    (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 2089-2107

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 1266-1281
(=>
    (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 2944-2962
(=>
    (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 2971-2987
(=>
    (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 2923-2935
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))		 Weather.kif 2436-2450
(=>
    (and
        (instance ?T Tornado)
        (instance ?EF EF5)
        (eventLocated ?T ?AREA)
        (believes ?A
            (property ?T ?EF)))
    (exists (?GUST)
        (and
            (greaterThan ?GUST 200)
            (believes ?A
                (equal
                    (MeasureFn ?GUST MilesPerHour)
                    (ThreeSecondGustSpeedFn ?AREA
                        (WhenFn ?T)))))))		 Weather.kif 2184-2198
(=>
    (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 2089-2107
(=>
    (and
        (instance ?W Wind)
        (instance ?BN BeaufortNumber12)
        (eventLocated ?W ?AREA)
        (believes ?A
            (property ?W ?BN)))
    (exists (?SPEED)
        (and
            (greaterThan ?SPEED 73)
            (believes ?A
                (surfaceWindSpeed ?AREA
                    (MeasureFn ?SPEED MilesPerHour))))))		 Weather.kif 484-496
(=>
    (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))))		 Weather.kif 740-751
(=>
    (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))))		 Weather.kif 774-785
(=>
    (instance ?TC TropicalCyclone)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 44))))		 Weather.kif 681-691
(=>
    (instance ?TD TropicalDepression)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TD ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TD)))
            (lessThanOrEqualTo ?WIND 38))))		 Weather.kif 660-670
(=>
    (instance ?TS TropicalStorm)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TS ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TS)))
            (greaterThanOrEqualTo ?WIND 39)
            (lessThanOrEqualTo ?WIND 74))))		 Weather.kif 716-727

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


(speedScaleAttributeMinMax BeaufortNumber0
    (MeasureFn 0 MilesPerHour)
    (MeasureFn 1 MilesPerHour))		 Weather.kif 375-375
(speedScaleAttributeMinMax BeaufortNumber1
    (MeasureFn 1 MilesPerHour)
    (MeasureFn 3 MilesPerHour))		 Weather.kif 384-384
(speedScaleAttributeMinMax BeaufortNumber10
    (MeasureFn 55 MilesPerHour)
    (MeasureFn 63 MilesPerHour))		 Weather.kif 466-466
(speedScaleAttributeMinMax BeaufortNumber11
    (MeasureFn 64 MilesPerHour)
    (MeasureFn 72 MilesPerHour))		 Weather.kif 475-475
(speedScaleAttributeMinMax BeaufortNumber2
    (MeasureFn 4 MilesPerHour)
    (MeasureFn 7 MilesPerHour))		 Weather.kif 393-393
(speedScaleAttributeMinMax BeaufortNumber3
    (MeasureFn 8 MilesPerHour)
    (MeasureFn 12 MilesPerHour))		 Weather.kif 403-403
(speedScaleAttributeMinMax BeaufortNumber4
    (MeasureFn 13 MilesPerHour)
    (MeasureFn 18 MilesPerHour))		 Weather.kif 412-412
(speedScaleAttributeMinMax BeaufortNumber5
    (MeasureFn 19 MilesPerHour)
    (MeasureFn 24 MilesPerHour))		 Weather.kif 421-421
(speedScaleAttributeMinMax BeaufortNumber6
    (MeasureFn 25 MilesPerHour)
    (MeasureFn 31 MilesPerHour))		 Weather.kif 430-430
(speedScaleAttributeMinMax BeaufortNumber7
    (MeasureFn 32 MilesPerHour)
    (MeasureFn 38 MilesPerHour))		 Weather.kif 439-439
(speedScaleAttributeMinMax BeaufortNumber8
    (MeasureFn 39 MilesPerHour)
    (MeasureFn 46 MilesPerHour))		 Weather.kif 448-448
(speedScaleAttributeMinMax BeaufortNumber9
    (MeasureFn 47 MilesPerHour)
    (MeasureFn 54 MilesPerHour))		 Weather.kif 457-457
(speedScaleAttributeMinMax EF0
    (MeasureFn 65 MilesPerHour)
    (MeasureFn 85 MilesPerHour))		 Weather.kif 2144-2144
(speedScaleAttributeMinMax EF1
    (MeasureFn 86 MilesPerHour)
    (MeasureFn 110 MilesPerHour))		 Weather.kif 2152-2152
(speedScaleAttributeMinMax EF2
    (MeasureFn 111 MilesPerHour)
    (MeasureFn 135 MilesPerHour))		 Weather.kif 2160-2160
(speedScaleAttributeMinMax EF3
    (MeasureFn 136 MilesPerHour)
    (MeasureFn 165 MilesPerHour))		 Weather.kif 2168-2168
(speedScaleAttributeMinMax EF4
    (MeasureFn 166 MilesPerHour)
    (MeasureFn 200 MilesPerHour))		 Weather.kif 2176-2176
(speedScaleAttributeMinMax SSHWS1
    (MeasureFn 74 MilesPerHour)
    (MeasureFn 95 MilesPerHour))		 Weather.kif 2389-2389
(speedScaleAttributeMinMax SSHWS2
    (MeasureFn 96 MilesPerHour)
    (MeasureFn 110 MilesPerHour))		 Weather.kif 2401-2401
(speedScaleAttributeMinMax SSHWS3
    (MeasureFn 111 MilesPerHour)
    (MeasureFn 129 MilesPerHour))		 Weather.kif 2413-2413
(speedScaleAttributeMinMax SSHWS4
    (MeasureFn 130 MilesPerHour)
    (MeasureFn 156 MilesPerHour))		 Weather.kif 2425-2425


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