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 9247-9248
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Atmospheric_Water_Vapor_Mean.2005.030.jpg")	pictureList.kif 8356-8356
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ b/ be/ Top_of_Atmosphere.jpg")	pictureList.kif 8930-8930
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ d/ de/ Atmosphere_model.png")	pictureList.kif 8933-8933
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ en/ e/ e6/ Layers.jpg")	pictureList.kif 8932-8932
(subclass AtmosphericRegion SpaceRegion)	Mid-level-ontology.kif 9246-9246	Atmospheric region is a subclass of space region

appearance as argument number 2

(instance OzoneShield AtmosphericRegion)	Geography.kif 2772-2772	Ozone shield is an instance of atmospheric region
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion)	Mid-level-ontology.kif 9287-9287	Space region is exhaustively partitioned into atmospheric region and outer space region
(subclass StormFront AtmosphericRegion)	Mid-level-ontology.kif 9295-9295	Storm front is a subclass of atmospheric region
(termFormat ChineseLanguage AtmosphericRegion "大气地区")	domainEnglishFormat.kif 8924-8924	Storm front is a subclass of atmospheric region
(termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區")	domainEnglishFormat.kif 8923-8923	Storm front is a subclass of atmospheric region
(termFormat EnglishLanguage AtmosphericRegion "atmospheric region")	domainEnglishFormat.kif 8922-8922	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 2520-2533	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 2549-2563	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 944-955	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 17487-17492	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 17511-17518	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 976-990	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 17498-17505	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 7413-7422	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 17947-17954	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