Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AtmosphericRegion
AtmosphericRegion

appearance as argument number 1
-------------------------


(documentation AtmosphericRegion EnglishLanguage "AtmosphericRegion is the class of all subregions of EarthsAtmosphere.") Mid-level-ontology.kif 8719-8720
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Atmospheric_Water_Vapor_Mean.2005.030.jpg") pictureList.kif 8358-8358
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ b/ be/ Top_of_Atmosphere.jpg") pictureList.kif 8935-8935
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ commons/ d/ de/ Atmosphere_model.png") pictureList.kif 8938-8938
(externalImage AtmosphericRegion "http://upload.wikimedia.org/wikipedia/ en/ e/ e6/ Layers.jpg") pictureList.kif 8937-8937
(subclass AtmosphericRegion SpaceRegion) Mid-level-ontology.kif 8718-8718

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


(instance OzoneShield AtmosphericRegion) Geography.kif 2712-2712
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion) Mid-level-ontology.kif 8772-8772
(subclass StormFront AtmosphericRegion) Mid-level-ontology.kif 8780-8780
(termFormat ChineseLanguage AtmosphericRegion "大气地区") domainEnglishFormat.kif 8933-8933
(termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區") domainEnglishFormat.kif 8932-8932
(termFormat EnglishLanguage AtmosphericRegion "atmospheric region") domainEnglishFormat.kif 8931-8931

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 1433-1444
(=>
    (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 1460-1473
(=>
    (instance ?AIRSPACE AtmosphericRegion)
    (exists (?AIR)
        (and
            (instance ?AIR Air)
            (part ?AIR ?AIRSPACE))))
Weather.kif 41-46
(=>
    (instance ?AIRSPACE AtmosphericRegion)
    (part ?AIRSPACE EarthsAtmosphere))
Weather.kif 33-35

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
(=>
    (instance ?FLY Flying)
    (exists (?REGION)
        (and
            (instance ?REGION AtmosphericRegion)
            (eventLocated ?FLY ?REGION))))
Mid-level-ontology.kif 14820-14825
(=>
    (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 14844-14851
(=>
    (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
(=>
    (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 14831-14838
(=>
    (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 6872-6881
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 15308-15315


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