MilesPerHour - Sigma Knowledge base Browser

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	Miles per hour is an instance of composite unit of measure
(instance MilesPerHour FunctionQuantity)	Weather.kif 1682-1682	Miles per hour is an instance of function quantity

appearance as argument number 2

(names "mph" MilesPerHour)	Weather.kif 1681-1681	Miles per hour has name "mph"
(termFormat ChineseLanguage MilesPerHour "英里每小時")	domainEnglishFormat.kif 10444-10444	Miles per hour has name "mph"
(termFormat EnglishLanguage MilesPerHour "miles per hour")	domainEnglishFormat.kif 10443-10443	Miles per hour has name "mph"

antecedent

(<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration))))	Weather.kif 1685-1691	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 2568-2586	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
(=> (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	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
(=> (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	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
(=> (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	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
(=> (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	If an engineering component is an instance of governor and the maximum speed allowed by another engineering component is a real number miles per hour(s) and the engineering component is connected to the other engineering component, then the engineering component has the purpose there doesn't exist the real numberP2 such that the measure of the other engineering component is the real numberP2 miles per hour(s) and the real numberP2 is greater than the real number
(=> (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	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=> (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	If a physical is an instance of windy and the physical is located at an object and a time interval is equal to the time of existence of the physical and a real number miles per hour(s) is a surface wind speed of the object holds during the time interval, then the real number is greater than 20.0

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	If a process is an instance of braking and an entity is a patient of the process, then a real number miles per hour(s) is equal to the accelleration another entity of the entity in a third entity in the direction a fourth entity holds during immediately before the time of existence of the process and another real number miles per hour(s) is equal to the accelleration the other entity of the entity in the third entity in the direction the fourth entity holds during immediately after the time of existence of the process and the real number is greater than the other real number
(=> (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	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
(=> (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	If an engineering component is an instance of governor and another engineering component is an instance of vehicle and the engineering component is connected to the other engineering component and the maximum speed allowed by a governor is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity and another entity such that the entity is an instance of translocation and the measure of the other engineering component is the other entity miles per hour(s) and the other entity is greater than the real number holds during the time of existence of the entity
(=> (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	If an engineering component is an instance of governor and the maximum speed allowed by another engineering component is a real number miles per hour(s) and the engineering component is connected to the other engineering component, then the engineering component has the purpose there doesn't exist the real numberP2 such that the measure of the other engineering component is the real numberP2 miles per hour(s) and the real numberP2 is greater than the real number
(=> (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	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 157.0 and the cognitive agent believes the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
(=> (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	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 200.0 and the cognitive agent believes the real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=> (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	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
(=> (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	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
(=> (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	If an entity is an instance of hurricane, then there exist a process, a geographic area and a real number such that the process is an instance of tropical cyclone and the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 74.0
(=> (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	If an entity is an instance of typhoon, then there exist the entityC, a geographic area and a real number such that the entityC is an instance of tropical cyclone and the geographic area is an instance of geographic area and the entityC is located at the geographic area and the real number miles per hour(s) is equal to Mean10MinutesWindSpeedFn for the time of existence of the entityC in region the geographic area and the real number is greater than or equal to 64.0
(=> (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	If a process is an instance of tropical cyclone, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 44.0
(=> (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	If a process is an instance of tropical depression, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is less than or equal to 38.0
(=> (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	If a process is an instance of tropical storm, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 39.0 and the real number is less than or equal to 74.0

statement

(speedScaleAttributeMinMax BeaufortNumber0 (MeasureFn 0.0 MilesPerHour) (MeasureFn 1.0 MilesPerHour))	Weather.kif 363-363	0.0 Miles per hour(s) and 1.0 miles per hour(s) are the min and max speed of Beaufort number 0
(speedScaleAttributeMinMax BeaufortNumber1 (MeasureFn 1.0 MilesPerHour) (MeasureFn 3.0 MilesPerHour))	Weather.kif 372-372	1.0 Miles per hour(s) and 3.0 miles per hour(s) are the min and max speed of Beaufort number 1
(speedScaleAttributeMinMax BeaufortNumber10 (MeasureFn 55.0 MilesPerHour) (MeasureFn 63.0 MilesPerHour))	Weather.kif 454-454	55.0 Miles per hour(s) and 63.0 miles per hour(s) are the min and max speed of Beaufort number 10
(speedScaleAttributeMinMax BeaufortNumber11 (MeasureFn 64.0 MilesPerHour) (MeasureFn 72.0 MilesPerHour))	Weather.kif 463-463	64.0 Miles per hour(s) and 72.0 miles per hour(s) are the min and max speed of Beaufort number 11
(speedScaleAttributeMinMax BeaufortNumber2 (MeasureFn 4.0 MilesPerHour) (MeasureFn 7.0 MilesPerHour))	Weather.kif 381-381	4.0 Miles per hour(s) and 7.0 miles per hour(s) are the min and max speed of Beaufort number 2
(speedScaleAttributeMinMax BeaufortNumber3 (MeasureFn 8.0 MilesPerHour) (MeasureFn 12.0 MilesPerHour))	Weather.kif 391-391	8.0 Miles per hour(s) and 12.0 miles per hour(s) are the min and max speed of Beaufort number 3
(speedScaleAttributeMinMax BeaufortNumber4 (MeasureFn 13.0 MilesPerHour) (MeasureFn 18.0 MilesPerHour))	Weather.kif 400-400	13.0 Miles per hour(s) and 18.0 miles per hour(s) are the min and max speed of Beaufort number 4
(speedScaleAttributeMinMax BeaufortNumber5 (MeasureFn 19.0 MilesPerHour) (MeasureFn 24.0 MilesPerHour))	Weather.kif 409-409	19.0 Miles per hour(s) and 24.0 miles per hour(s) are the min and max speed of Beaufort number 5
(speedScaleAttributeMinMax BeaufortNumber6 (MeasureFn 25.0 MilesPerHour) (MeasureFn 31.0 MilesPerHour))	Weather.kif 418-418	25.0 Miles per hour(s) and 31.0 miles per hour(s) are the min and max speed of Beaufort number 6
(speedScaleAttributeMinMax BeaufortNumber7 (MeasureFn 32.0 MilesPerHour) (MeasureFn 38.0 MilesPerHour))	Weather.kif 427-427	32.0 Miles per hour(s) and 38.0 miles per hour(s) are the min and max speed of Beaufort number 7
(speedScaleAttributeMinMax BeaufortNumber8 (MeasureFn 39.0 MilesPerHour) (MeasureFn 46.0 MilesPerHour))	Weather.kif 436-436	39.0 Miles per hour(s) and 46.0 miles per hour(s) are the min and max speed of Beaufort number 8
(speedScaleAttributeMinMax BeaufortNumber9 (MeasureFn 47.0 MilesPerHour) (MeasureFn 54.0 MilesPerHour))	Weather.kif 445-445	47.0 Miles per hour(s) and 54.0 miles per hour(s) are the min and max speed of Beaufort number 9
(speedScaleAttributeMinMax EF0 (MeasureFn 65.0 MilesPerHour) (MeasureFn 85.0 MilesPerHour))	Weather.kif 2134-2134	65.0 Miles per hour(s) and 85.0 miles per hour(s) are the min and max speed of EF0
(speedScaleAttributeMinMax EF1 (MeasureFn 86.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2142-2142	86.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of EF1
(speedScaleAttributeMinMax EF2 (MeasureFn 111.0 MilesPerHour) (MeasureFn 135.0 MilesPerHour))	Weather.kif 2150-2150	111.0 Miles per hour(s) and 135.0 miles per hour(s) are the min and max speed of EF2
(speedScaleAttributeMinMax EF3 (MeasureFn 136.0 MilesPerHour) (MeasureFn 165.0 MilesPerHour))	Weather.kif 2158-2158	136.0 Miles per hour(s) and 165.0 miles per hour(s) are the min and max speed of EF3
(speedScaleAttributeMinMax EF4 (MeasureFn 166.0 MilesPerHour) (MeasureFn 200.0 MilesPerHour))	Weather.kif 2166-2166	166.0 Miles per hour(s) and 200.0 miles per hour(s) are the min and max speed of EF4
(speedScaleAttributeMinMax SSHWS1 (MeasureFn 74.0 MilesPerHour) (MeasureFn 95.0 MilesPerHour))	Weather.kif 2379-2379	74.0 Miles per hour(s) and 95.0 miles per hour(s) are the min and max speed of SSHWS1
(speedScaleAttributeMinMax SSHWS2 (MeasureFn 96.0 MilesPerHour) (MeasureFn 110.0 MilesPerHour))	Weather.kif 2391-2391	96.0 Miles per hour(s) and 110.0 miles per hour(s) are the min and max speed of SSHWS2
(speedScaleAttributeMinMax SSHWS3 (MeasureFn 111.0 MilesPerHour) (MeasureFn 129.0 MilesPerHour))	Weather.kif 2403-2403	111.0 Miles per hour(s) and 129.0 miles per hour(s) are the min and max speed of SSHWS3
(speedScaleAttributeMinMax SSHWS4 (MeasureFn 130.0 MilesPerHour) (MeasureFn 156.0 MilesPerHour))	Weather.kif 2415-2415	130.0 Miles per hour(s) and 156.0 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

KB Term:			Term intersection

English Word: