AtmosphericRegion - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AtmosphericRegion

AtmosphericRegion(atmospheric region)

air, blue, blue_air, blue_sky, exosphere, field, field_of_force, force_field, mackerel_sky, mesosphere, ozone_layer, ozonosphere, radiation_field, stratosphere, thermosphere, tropopause, troposphere, wild_blue_yonder

appearance as argument number 1

(documentation AtmosphericRegion EnglishLanguage "AtmosphericRegion is the class of all subregions of EarthsAtmosphere.")	Mid-level-ontology.kif 10235-10236
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Atmospheric_Water_Vapor_Mean.2005.030.jpg")	pictureList.kif 8355-8355
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ b/ be/ Top_of_Atmosphere.jpg")	pictureList.kif 8929-8929
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ d/ de/ Atmosphere_model.png")	pictureList.kif 8932-8932
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ en/ e/ e6/ Layers.jpg")	pictureList.kif 8931-8931
(subclass AtmosphericRegion SpaceRegion)	Mid-level-ontology.kif 10234-10234	Atmospheric region is a subclass of space region

appearance as argument number 2

(instance OzoneShield AtmosphericRegion)	Geography.kif 2760-2760	Ozone shield is an instance of atmospheric region
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion)	Mid-level-ontology.kif 10275-10275	Space region is exhaustively partitioned into atmospheric region and outer space region
(subclass StormFront AtmosphericRegion)	Mid-level-ontology.kif 10283-10283	Storm front is a subclass of atmospheric region
(termFormat ChineseLanguage AtmosphericRegion "大气地区")	domainEnglishFormat.kif 8917-8917	Storm front is a subclass of atmospheric region
(termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區")	domainEnglishFormat.kif 8916-8916	Storm front is a subclass of atmospheric region
(termFormat EnglishLanguage AtmosphericRegion "atmospheric region")	domainEnglishFormat.kif 8915-8915	Storm front is a subclass of atmospheric region

antecedent

(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0))	Weather.kif 2926-2939	If a process is an instance of fog and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0)))	Weather.kif 2955-2969	If a process is an instance of atmospheric hazing and the process is located at a region and the region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
(=> (instance ?AIRSPACE AtmosphericRegion) (exists (?AIR) (and (instance ?AIR Air) (part ?AIR ?AIRSPACE))))	Weather.kif 41-46	If an object is an instance of atmospheric region, then there exists another object such that the other object is an instance of air and the other object is a part of the object
(=> (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

consequent

(=> (and (instance ?FLYING Flying) (patient ?FLYING ?ALM) (instance ?ALM AirLaunchMissile)) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?FLYING)) (located ?ALM ?REGION)))))	MilitaryDevices.kif 1101-1112	If a process is an instance of flying and an entity is a patient of the process and the entity is an instance of air launch missile, then there exists another entity such that the other entity is an instance of atmospheric region and the entity is located at the other entity holds during the beginning of the time of existence of the process
(=> (instance ?FLY Flying) (exists (?REGION) (and (instance ?REGION AtmosphericRegion) (eventLocated ?FLY ?REGION))))	Mid-level-ontology.kif 18780-18785	If a process is an instance of flying, then there exists an object such that the object is an instance of atmospheric region and the process is located at the object
(=> (instance ?LAND Landing) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (EndFn (WhenFn ?LAND)) (eventLocated ?LAND ?REGION)) (subProcess ?FLYING ?LAND) (instance ?FLYING Flying))))	Mid-level-ontology.kif 18804-18811	If a process is an instance of landing, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the end of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying
(=> (instance ?M AirAttackMissile) (hasPurpose ?M (exists (?OBJ ?REGION ?DAMAGE) (and (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?DAMAGE Damaging) (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?DAMAGE)) (and (located ?M ?REGION) (located ?OBJ ?REGION)))))))	MilitaryDevices.kif 1133-1147	If a physical is an instance of air attack missile, then the physical has the purpose there exist an entity, another entity and a third entity such that the physical is an instrument for the third entity and the entity is a patient of the third entity and the third entity is an instance of damaging and the other entity is an instance of atmospheric region and the physical is located at the other entity and the entity is located at the other entity holds during the beginning of the time of existence of the third entity
(=> (instance ?OFF TakingOff) (exists (?REGION ?FLYING) (and (not (instance ?REGION AtmosphericRegion)) (holdsDuring (BeginFn (WhenFn ?OFF)) (eventLocated ?OFF ?REGION)) (subProcess ?FLYING ?OFF) (instance ?FLYING Flying))))	Mid-level-ontology.kif 18791-18798	If a process is an instance of taking off, then there exist an entity and another process such that the entity is not an instance of atmospheric region and the process is located at the entity holds during the beginning of the time of existence of the process and the other process is a subprocess of the process and the other process is an instance of flying
(=> (instance ?PM ParticulateMatter) (exists (?P ?ATMOSPHERE ?S) (and (instance ?ATMOSPHERE AtmosphericRegion) (located ?PM ?ATMOSPHERE) (part ?P ?PM) (approximateDiameter ?P (MeasureFn ?S Micrometer)) (greaterThan 1000.0 ?S))))	Geography.kif 7483-7492	If an object is an instance of PM, then there exist a self connected object, another object and a real number such that the other object is an instance of atmospheric region and the object is located at the other object and the self connected object is a part of the object and the approximate diameter of the self connected object is the real number micrometer(s) and 1000.0 is greater than the real number
(=> (instance ?TRANSPORT AirTransportation) (exists (?CRAFT ?REGION) (and (instance ?CRAFT Aircraft) (instance ?REGION AtmosphericRegion) (instrument ?TRANSPORT ?CRAFT) (eventLocated ?TRANSPORT ?REGION))))	Mid-level-ontology.kif 19240-19247	If a process is an instance of air transportation, then there exist an object and another object such that the object is an instance of aircraft and the other object is an instance of atmospheric region and the object is an instrument for the process and the process is located at the other object

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