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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilesPerHour
MilesPerHour(miles per hour)

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


(documentation MilesPerHour ChineseLanguage "MilesPerHour是一个速度计量单位, 表示每小時(HourDuration)经过的英里(Mile)距离。") Weather.kif 1697-1698
(documentation MilesPerHour EnglishLanguage "MilesPerHour is a unit for measuring speed, expressed in the number of Miles travelled in a one HourDuration.") Weather.kif 1695-1696
(instance MilesPerHour CompositeUnitOfMeasure) Weather.kif 1701-1701 Miles per hour is an instance of CompositeUnitOfMeasure
(instance MilesPerHour FunctionQuantity) Weather.kif 1700-1700 Miles per hour is an instance of function quantity

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


(names "mph" MilesPerHour) Weather.kif 1699-1699 Miles per hour has name "mph"
(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 1703-1709 A function quantity is equal to a real number miles per hour(s) if and only if the function quantity is equal to the real number mile(s) per 1 hour duration(s)
(=>
    (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 2585-2603
(=>
    (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 2884-2902
(=>
    (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 2930-2948
(=>
    (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 2957-2973
(=>
    (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 2909-2921
(=>
    (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 2091-2109

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 2930-2948
(=>
    (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 2957-2973
(=>
    (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 2909-2921
(=>
    (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 2438-2452
(=>
    (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 2186-2200
(=>
    (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 2091-2109
(=>
    (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 0 Miles per hour(s) and 1 miles per hour(s) are the min and max speed of Beaufort number 0
(speedScaleAttributeMinMax BeaufortNumber1
    (MeasureFn 1 MilesPerHour)
    (MeasureFn 3 MilesPerHour))
Weather.kif 384-384 1 Miles per hour(s) and 3 miles per hour(s) are the min and max speed of Beaufort number 1
(speedScaleAttributeMinMax BeaufortNumber10
    (MeasureFn 55 MilesPerHour)
    (MeasureFn 63 MilesPerHour))
Weather.kif 466-466 55 Miles per hour(s) and 63 miles per hour(s) are the min and max speed of Beaufort number 10
(speedScaleAttributeMinMax BeaufortNumber11
    (MeasureFn 64 MilesPerHour)
    (MeasureFn 72 MilesPerHour))
Weather.kif 475-475 64 Miles per hour(s) and 72 miles per hour(s) are the min and max speed of Beaufort number 11
(speedScaleAttributeMinMax BeaufortNumber2
    (MeasureFn 4 MilesPerHour)
    (MeasureFn 7 MilesPerHour))
Weather.kif 393-393 4 Miles per hour(s) and 7 miles per hour(s) are the min and max speed of Beaufort number 2
(speedScaleAttributeMinMax BeaufortNumber3
    (MeasureFn 8 MilesPerHour)
    (MeasureFn 12 MilesPerHour))
Weather.kif 403-403 8 Miles per hour(s) and 12 miles per hour(s) are the min and max speed of Beaufort number 3
(speedScaleAttributeMinMax BeaufortNumber4
    (MeasureFn 13 MilesPerHour)
    (MeasureFn 18 MilesPerHour))
Weather.kif 412-412 13 Miles per hour(s) and 18 miles per hour(s) are the min and max speed of Beaufort number 4
(speedScaleAttributeMinMax BeaufortNumber5
    (MeasureFn 19 MilesPerHour)
    (MeasureFn 24 MilesPerHour))
Weather.kif 421-421 19 Miles per hour(s) and 24 miles per hour(s) are the min and max speed of Beaufort number 5
(speedScaleAttributeMinMax BeaufortNumber6
    (MeasureFn 25 MilesPerHour)
    (MeasureFn 31 MilesPerHour))
Weather.kif 430-430 25 Miles per hour(s) and 31 miles per hour(s) are the min and max speed of Beaufort number 6
(speedScaleAttributeMinMax BeaufortNumber7
    (MeasureFn 32 MilesPerHour)
    (MeasureFn 38 MilesPerHour))
Weather.kif 439-439 32 Miles per hour(s) and 38 miles per hour(s) are the min and max speed of Beaufort number 7
(speedScaleAttributeMinMax BeaufortNumber8
    (MeasureFn 39 MilesPerHour)
    (MeasureFn 46 MilesPerHour))
Weather.kif 448-448 39 Miles per hour(s) and 46 miles per hour(s) are the min and max speed of Beaufort number 8
(speedScaleAttributeMinMax BeaufortNumber9
    (MeasureFn 47 MilesPerHour)
    (MeasureFn 54 MilesPerHour))
Weather.kif 457-457 47 Miles per hour(s) and 54 miles per hour(s) are the min and max speed of Beaufort number 9
(speedScaleAttributeMinMax EF0
    (MeasureFn 65 MilesPerHour)
    (MeasureFn 85 MilesPerHour))
Weather.kif 2146-2146 65 Miles per hour(s) and 85 miles per hour(s) are the min and max speed of EF0
(speedScaleAttributeMinMax EF1
    (MeasureFn 86 MilesPerHour)
    (MeasureFn 110 MilesPerHour))
Weather.kif 2154-2154 86 Miles per hour(s) and 110 miles per hour(s) are the min and max speed of EF1
(speedScaleAttributeMinMax EF2
    (MeasureFn 111 MilesPerHour)
    (MeasureFn 135 MilesPerHour))
Weather.kif 2162-2162 111 Miles per hour(s) and 135 miles per hour(s) are the min and max speed of EF2
(speedScaleAttributeMinMax EF3
    (MeasureFn 136 MilesPerHour)
    (MeasureFn 165 MilesPerHour))
Weather.kif 2170-2170 136 Miles per hour(s) and 165 miles per hour(s) are the min and max speed of EF3
(speedScaleAttributeMinMax EF4
    (MeasureFn 166 MilesPerHour)
    (MeasureFn 200 MilesPerHour))
Weather.kif 2178-2178 166 Miles per hour(s) and 200 miles per hour(s) are the min and max speed of EF4
(speedScaleAttributeMinMax SSHWS1
    (MeasureFn 74 MilesPerHour)
    (MeasureFn 95 MilesPerHour))
Weather.kif 2391-2391 74 Miles per hour(s) and 95 miles per hour(s) are the min and max speed of SSHWS1
(speedScaleAttributeMinMax SSHWS2
    (MeasureFn 96 MilesPerHour)
    (MeasureFn 110 MilesPerHour))
Weather.kif 2403-2403 96 Miles per hour(s) and 110 miles per hour(s) are the min and max speed of SSHWS2
(speedScaleAttributeMinMax SSHWS3
    (MeasureFn 111 MilesPerHour)
    (MeasureFn 129 MilesPerHour))
Weather.kif 2415-2415 111 Miles per hour(s) and 129 miles per hour(s) are the min and max speed of SSHWS3
(speedScaleAttributeMinMax SSHWS4
    (MeasureFn 130 MilesPerHour)
    (MeasureFn 156 MilesPerHour))
Weather.kif 2427-2427 130 Miles per hour(s) and 156 miles per hour(s) are the min and max speed of SSHWS4


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