|
|
   Atmosphere
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Atmosphere EnglishLanguage "Atmosphere is a Mixture of gases surrounding any celestial object that has a gravitational field strong enough to prevent the gases from escaping.") | Weather.kif 13-15 | |
| (documentation Atmosphere EnglishLanguage "Atmosphere 是气体的 Mixture，它由任何有足够强大 地深吸力阻止气体溢出的天体物体包围着。") | Weather.kif 17-18 | |
| (externalImage Atmosphere "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Top_of_Atmosphere.jpg") | pictureList.kif 850-850 | |
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | |
| (subclass Atmosphere Region) | Weather.kif 10-10 |
| appearance as argument number 2 |
|
|
| (instance EarthsAtmosphere Atmosphere) | Weather.kif 29-29 | |
| (termFormat ChineseLanguage Atmosphere "大气层") | domainEnglishFormat.kif 8915-8915 | |
| (termFormat ChineseTraditionalLanguage Atmosphere "大氣層") | domainEnglishFormat.kif 8914-8914 | |
| (termFormat EnglishLanguage Atmosphere "atmosphere") | domainEnglishFormat.kif 8913-8913 |
| antecedent |
|
|
| (=> (instance ?AIR Atmosphere) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (meetsSpatially ?AIR ?BODY)))) |
Weather.kif 22-27 |
|
|
|
