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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GameArtifact

 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 9029-9030
(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 9028-9028 子類 大氣地區 and 空間區域

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


(instance OzoneShield AtmosphericRegion) Geography.kif 2772-2772 例 臭氧盾 and 大氣地區
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion) Mid-level-ontology.kif 9069-9069 劃分 空間區域, 大氣地區 and 外太空區域
(subclass StormFront AtmosphericRegion) Mid-level-ontology.kif 9077-9077 子類 暴風雨前線 and 大氣地區
(termFormat ChineseLanguage AtmosphericRegion "大气地区") domainEnglishFormat.kif 8916-8916
(termFormat ChineseTraditionalLanguage AtmosphericRegion "大氣地區") domainEnglishFormat.kif 8915-8915
(termFormat EnglishLanguage AtmosphericRegion "atmospheric region") domainEnglishFormat.kif 8914-8914

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 2537-2550
(=>
    (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 2566-2580
(=>
    (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 17229-17234
(=>
    (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 17253-17260
(=>
    (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 17240-17247
(=>
    (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
(=>
    (instance ?TRANSPORT AirTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Aircraft)
            (instance ?REGION AtmosphericRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))		 Mid-level-ontology.kif 17689-17696


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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