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 e' uma sub-classe de a classe correspondente a Fluid |
(subclass Atmosphere Region) | Weather.kif 10-10 | Atmosphere e' uma sub-classe de Regiao |
appearance as argument number 2 |
(instance EarthsAtmosphere Atmosphere) | Weather.kif 29-29 | EarthsAtmosphere e' uma instancia de Atmosphere |
(termFormat ChineseLanguage Atmosphere "大气层") | domainEnglishFormat.kif 8910-8910 | |
(termFormat ChineseTraditionalLanguage Atmosphere "大氣層") | domainEnglishFormat.kif 8909-8909 | |
(termFormat EnglishLanguage Atmosphere "atmosphere") | domainEnglishFormat.kif 8908-8908 |
antecedent |
(=> (instance ?AIR Atmosphere) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (meetsSpatially ?AIR ?BODY)))) |
Weather.kif 22-27 |
|