EarthsAtmosphere - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EarthsAtmosphere

EarthsAtmosphere(earths atmosphere)

air, atmosphere, celestial, heavenly

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	Earths atmosphere is an instance of atmosphere

appearance as argument number 2

(termFormat ChineseLanguage EarthsAtmosphere "地球的大气")	domainEnglishFormat.kif 20818-20818
(termFormat ChineseTraditionalLanguage EarthsAtmosphere "地球的大氣")	domainEnglishFormat.kif 20817-20817
(termFormat EnglishLanguage EarthsAtmosphere "earths atmosphere")	domainEnglishFormat.kif 20816-20816

consequent

(=> (instance ?AIR Air) (piece ?AIR EarthsAtmosphere))	Weather.kif 37-39	If a substance is an instance of air, then the substance is a piece of earths atmosphere
(=> (instance ?AIRSPACE AtmosphericRegion) (part ?AIRSPACE EarthsAtmosphere))	Weather.kif 33-35	If an object is an instance of atmospheric region, then the object is a part of earths atmosphere
(=> (instance ?BLOW WindFlow) (located ?BLOW EarthsAtmosphere))	Weather.kif 90-92	If a physical is an instance of wind flow, then the physical is located at earths atmosphere
(=> (instance ?WAY AirTransitway) (hasPurpose ?WAY (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (path ?TRANSPORT ?WAY) (partlyLocated ?WAY EarthsAtmosphere)))))	Transportation.kif 1250-1257	If a physical is an instance of air transitway, then the physical has the purpose there exists an entity such that the entity is an instance of transportation and the physical is path along which the entity occurs and the physical is partly located in earths atmosphere

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners