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 1740-1740 | |
(externalImage EarthsAtmosphere "http://upload.wikimedia.org/wikipedia/en/ e/ e6/ Layers.jpg") | pictureList.kif 2157-2157 | |
(instance EarthsAtmosphere Atmosphere) | Weather.kif 29-29 |
appearance as argument number 2 |
(termFormat ChineseLanguage EarthsAtmosphere "地球的大气") | domainEnglishFormat.kif 20802-20802 | |
(termFormat ChineseTraditionalLanguage EarthsAtmosphere "地球的大氣") | domainEnglishFormat.kif 20801-20801 | |
(termFormat EnglishLanguage EarthsAtmosphere "earths atmosphere") | domainEnglishFormat.kif 20800-20800 |
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 |