MilesPerHour - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1695-1696
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1693-1694
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1699-1699	Miles per hour is an instance of CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1698-1698	Miles per hour is an instance of function quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1697-1697	Miles per hour has name "mph"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10439-10439
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10438-10438

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1701-1707	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)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2599-2617	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2898-2916	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2944-2962	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2971-2987	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2923-2935	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2089-2107	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 2 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 quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1266-1281	If a process is an instance of braking and an entity is a patient of the process, then a quantity 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 quantity 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 quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2944-2962	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2971-2987	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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2923-2935	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2436-2450	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 157 and the cognitive agent believes the quantity miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2184-2198	If a process is an instance of tornado and an entity is an instance of EF5 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 200 and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2089-2107	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 2 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 quantity such that the quantity is greater than or equal to the real number and the quantity is less than or equal to the other real number and the cognitive agent believes the quantity miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of Beaufort number 12 and the process is located at 2 and a cognitive agent believes the process the attribute the entity, then there exists a quantity such that the quantity is greater than 73 and the cognitive agent believes the quantity miles per hour(s) is a surface wind speed of the cognitive agentREA
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	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 2 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 774-785	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 2 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	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 2 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 660-670	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 2 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	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 2 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 and the real number is less than or equal to 74

statement

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2144-2144	65 Miles per hour(s) and 85 miles per hour(s) are the min and max speed of EF0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2152-2152	86 Miles per hour(s) and 110 miles per hour(s) are the min and max speed of EF1
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2160-2160	111 Miles per hour(s) and 135 miles per hour(s) are the min and max speed of EF2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2168-2168	136 Miles per hour(s) and 165 miles per hour(s) are the min and max speed of EF3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2176-2176	166 Miles per hour(s) and 200 miles per hour(s) are the min and max speed of EF4
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2389-2389	74 Miles per hour(s) and 95 miles per hour(s) are the min and max speed of SSHWS1
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2401-2401	96 Miles per hour(s) and 110 miles per hour(s) are the min and max speed of SSHWS2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2413-2413	111 Miles per hour(s) and 129 miles per hour(s) are the min and max speed of SSHWS3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2425-2425	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

KB Term:			Term intersection

English Word: