| Atmosphere(atmosphere)
| | atmosphere |
| appearance as argument number 1 |
|
|
| (documentation Atmosphere ChineseLanguage "Atmosphere 是气体的 Mixture，它由任何有足够强大 地深吸力阻止气体溢出的天体物体包围着。") | Weather.kif 17-18 | |
| (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 | |
| (externalImage Atmosphere "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Top_of_Atmosphere.jpg") | pictureList.kif 849-849 | |
| (subclass Atmosphere (ExtensionFn Fluid)) |
Weather.kif 11-11 | Atmosphere is a subclass of the class corresponding to fluid |
| (subclass Atmosphere Region) | Weather.kif 10-10 | Atmosphere is a subclass of region |
| appearance as argument number 2 |
|
|
| (instance EarthsAtmosphere Atmosphere) | Weather.kif 29-29 | Earths atmosphere is an instance of atmosphere |
| (termFormat ChineseLanguage Atmosphere "大气层") | domainEnglishFormat.kif 8918-8918 | Earths atmosphere is an instance of atmosphere |
| (termFormat ChineseTraditionalLanguage Atmosphere "大氣層") | domainEnglishFormat.kif 8917-8917 | Earths atmosphere is an instance of atmosphere |
| (termFormat EnglishLanguage Atmosphere "atmosphere") | domainEnglishFormat.kif 8916-8916 | Earths atmosphere is an instance of atmosphere |
| antecedent |
|
|
| (=> (instance ?AIR Atmosphere) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (meetsSpatially ?AIR ?BODY)))) |
Weather.kif 22-27 |
|
|
|
|