| EarthsAtmosphere(earths atmosphere)
| | air, atmosphere, celestial, heavenly |
| appearance as argument number 1 |
|
|
| (instance EarthsAtmosphere Atmosphere) | Weather.kif 29-29 | Earths atmosphere is an instance of atmosphere |
| (documentation EarthsAtmosphere EnglishLanguage "EarthsAtmosphere is the layer of gases, a mixture of mainly oxygen and nitrogen, surrounding PlanetEarth. See also Air.") | Weather.kif 30-31 | Earths atmosphere is an instance of atmosphere |
| (externalImage EarthsAtmosphere "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Top_of_Atmosphere.jpg") | pictureList.kif 1739-1739 | Earths atmosphere is an instance of atmosphere |
| (externalImage EarthsAtmosphere "http://upload.wikimedia.org/wikipedia/en/ e/ e6/ Layers.jpg") | pictureList.kif 2156-2156 | Earths atmosphere is an instance of atmosphere |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (speedOfSound (MeasureFn ?N MeterPerSecond) ?R ?T) (located ?R EarthsAtmosphere) (holdsDuring ?T (property ?R StandardAmbientTemperaturePressure))) (holdsDuring ?T (approximateValue ?N 346))) |
Transportation.kif 5102-5109 | If the speedOfSound for X meter per second(s) at Y is X meter per second(s), Y is located at earths atmosphere, and Y the attribute standard ambient temperature and pressure holds during Z, then the approximate value of X is 346 holds during Z |
| consequent |
|
|
| (=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 | If X is an instance of air transitway, then X has the purpose there exists Y such that Y is an instance of transportation, X is path along which Y occurs, and X is partly located in earths atmosphere |
| (=> (instance ?AIRSPACE AtmosphericRegion) (part ?AIRSPACE EarthsAtmosphere)) |
Weather.kif 33-35 | If X is an instance of atmospheric region, then X is a part of earths atmosphere |
| (=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere)) |
Weather.kif 37-39 | If X is an instance of air, then X is a piece of earths atmosphere |
| (=> (instance ?BLOW WindFlow) (located ?BLOW EarthsAtmosphere)) |
Weather.kif 90-92 | If X is an instance of wind flow, then X is located at earths atmosphere |
|
|
|