TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Atmosphere Region)	Weather.kif 10-10	Atmosphere is a subclass of region
(subclass Atmosphere (ExtensionFn Fluid))	Weather.kif 11-11	Atmosphere is a subclass of the class corresponding to fluid
(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	Atmosphere is a subclass of the class corresponding to fluid
(documentation Atmosphere ChineseLanguage "Atmosphere 是气体的 Mixture，它由任何有足够强大地深吸力阻止气体溢出的天体物体包围着。")	Weather.kif 17-18	Atmosphere is a subclass of the class corresponding to fluid
(externalImage Atmosphere "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Top_of_Atmosphere.jpg")	pictureList.kif 849-849	Atmosphere is a subclass of the class corresponding to fluid

appearance as argument number 2

(instance EarthsAtmosphere Atmosphere)	Weather.kif 29-29	Earths atmosphere is an instance of atmosphere
(termFormat EnglishLanguage Atmosphere "atmosphere")	domainEnglishFormat.kif 8908-8908	Earths atmosphere is an instance of atmosphere
(termFormat ChineseTraditionalLanguage Atmosphere "大氣層")	domainEnglishFormat.kif 8909-8909	Earths atmosphere is an instance of atmosphere
(termFormat ChineseLanguage Atmosphere "大气层")	domainEnglishFormat.kif 8910-8910	Earths atmosphere is an instance of atmosphere

antecedent

(=>
    (instance ?AIR Atmosphere)
    (exists (?BODY)
        (and
            (instance ?BODY AstronomicalBody)
            (meetsSpatially ?AIR ?BODY))))

If X is an instance of atmosphere, then there exists Y such that Y is an instance of astronomical body and X meets Y