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, atmospheric_region, 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 8736-8737
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Atmospheric_Water_Vapor_Mean.2005.030.jpg") pictureList.kif 8358-8358 "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Atmospheric_Water_Vapor_Mean.2005.030.jpg" is a URL depicting atmospheric region
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ b/ be/ Top_of_Atmosphere.jpg") pictureList.kif 8935-8935 "http://upload.wikimedia.org/wikipedia/commons/b/be/ Top_of_Atmosphere.jpg" is a URL depicting atmospheric region
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ d/ de/ Atmosphere_model.png") pictureList.kif 8938-8938 "http://upload.wikimedia.org/wikipedia/commons/d/de/ Atmosphere_model.png" is a URL depicting atmospheric region
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ en/ e/ e6/ Layers.jpg") pictureList.kif 8937-8937 "http://upload.wikimedia.org/wikipedia/en/e/e6/Layers.jpg" is a URL depicting atmospheric region
(subclass AtmosphericRegion SpaceRegion) Mid-level-ontology.kif 8735-8735 Atmospheric region is a subclass of space region

appearance as argument number 2
-------------------------


(instance OzoneShield AtmosphericRegion) Geography.kif 2700-2700 Ozone shield is an instance of atmospheric region
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion) Mid-level-ontology.kif 8789-8789 Space region is exhaustively partitioned into atmospheric region and outer space region
(subclass StormFront AtmosphericRegion) Mid-level-ontology.kif 8797-8797 Storm front is a subclass of atmospheric region
(termFormat ChineseLanguage AtmosphericRegion "大气地区") domainEnglishFormat.kif 8929-8929 "大气地区" is the printable form of atmospheric region in ChineseLanguage
(termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區") domainEnglishFormat.kif 8928-8928 "大氣地區" is the printable form of atmospheric region in ChineseTraditionalLanguage
(termFormat EnglishLanguage AtmosphericRegion "atmospheric region") domainEnglishFormat.kif 8927-8927 "atmospheric region" is the printable form of atmospheric region in english language

antecedent
-------------------------


(=>
    (and
        (instance ?FOG Fogging)
        (eventLocated ?FOG ?AREA)
        (instance ?AREA AtmosphericRegion)
        (instance ?A Aerosal)
        (locatedAtTime ?A
            (WhenFn ?FOG) ?AREA)
        (visibilityInMeteorology ?AREA
            (WhenFn ?FOG)
            (MeasureFn ?VISIBILITY Meter)))
    (lessThan ?VISIBILITY 1000))
Weather.kif 962-973
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (eventLocated ?HAZE ?AREA)
        (instance ?AREA AtmosphericRegion)
        (instance ?PARTICULATE ParticulateMatter)
        (locatedAtTime ?PARTICULATE
            (WhenFn ?HAZE) ?AREA)
        (visibilityInMeteorology ?AREA
            (WhenFn ?HAZE)
            (MeasureFn ?VISIBILITY Kilometer)))
    (and
        (greaterThan ?VISIBILITY 2)
        (lessThan ?VISIBILITY 5)))
Weather.kif 992-1005
(=>
    (instance ?AIRSPACE AtmosphericRegion)
    (exists (?AIR)
        (and
            (instance ?AIR Air)
            (part ?AIR ?AIRSPACE))))
Weather.kif 42-47
(=>
    (instance ?AIRSPACE AtmosphericRegion)
    (part ?AIRSPACE EarthsAtmosphere))
Weather.kif 34-36

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 943-954
(=>
    (instance ?FLY Flying)
    (exists (?REGION)
        (and
            (instance ?REGION AtmosphericRegion)
            (eventLocated ?FLY ?REGION))))
Mid-level-ontology.kif 14793-14798
(=>
    (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 14817-14824
(=>
    (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 975-989
(=>
    (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 14804-14811
(=>
    (instance ?PM ParticulateMatter)
    (exists (?P ?ATMOSPHERE ?S)
        (and
            (instance ?ATMOSPHERE AtmosphericRegion)
            (located ?PM ?ATMOSPHERE)
            (part ?P ?PM)
            (approximateDiameter ?P
                (MeasureFn ?S Micrometer))
            (greaterThan 1000 ?S))))
Geography.kif 6763-6772
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 15281-15288


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners