| EarthsAtmosphere
| |
| appearance as argument number 1 |
|
|
| (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 | |
| (externalImage EarthsAtmosphere "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Top_of_Atmosphere.jpg") | pictureList.kif 1739-1739 | |
| (externalImage EarthsAtmosphere "http://upload.wikimedia.org/wikipedia/en/ e/ e6/ Layers.jpg") | pictureList.kif 2156-2156 | |
| (instance EarthsAtmosphere Atmosphere) | Weather.kif 29-29 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EarthsAtmosphere "地球的大气") | domainEnglishFormat.kif 20813-20813 | |
| (termFormat ChineseTraditionalLanguage EarthsAtmosphere "地球的大氣") | domainEnglishFormat.kif 20812-20812 | |
| (termFormat EnglishLanguage EarthsAtmosphere "earths atmosphere") | domainEnglishFormat.kif 20811-20811 |
| consequent |
|
|
| (=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere)) |
Weather.kif 37-39 | |
| (=> (instance ?AIRSPACE AtmosphericRegion) (part ?AIRSPACE EarthsAtmosphere)) |
Weather.kif 33-35 | |
| (=> (instance ?BLOW WindFlow) (located ?BLOW EarthsAtmosphere)) |
Weather.kif 90-92 | |
| (=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere))))) |
Transportation.kif 1250-1257 |
|
|
|