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

appearance as argument number 2

(instance OzoneShield AtmosphericRegion)	Geography.kif 2775-2775	Ozone shield is an instance of atmospheric region
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion)	Mid-level-ontology.kif 8718-8718	Space region is exhaustively partitioned into atmospheric region and outer space region
(subclass StormFront AtmosphericRegion)	Mid-level-ontology.kif 8726-8726	Storm front is a subclass of atmospheric region
(termFormat ChineseLanguage AtmosphericRegion "大气地区")	domainEnglishFormat.kif 8925-8925
(termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區")	domainEnglishFormat.kif 8924-8924
(termFormat EnglishLanguage AtmosphericRegion "atmospheric region")	domainEnglishFormat.kif 8923-8923

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 2536-2549	If a process is an instance of fog and the process is located at 2 and a 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 2565-2579	If a process is an instance of atmospheric hazing and the process is located at 2 and a 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 16723-16728	If a process is an instance of flying, then there exists an entity such that the entity is an instance of atmospheric region and the process is located at 2
(=> (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 16747-16754	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 2 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 16734-16741	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 2 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 7129-7138	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 17160-17167	If a process is an instance of air transportation, then there exist an object and an entity such that the object is an instance of aircraft and the entity is an instance of atmospheric region and the object is an instrument for the process and the process is located at 2

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