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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AtmosphericHazing
AtmosphericHazing(atmospheric hazing)

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


(documentation AtmosphericHazing ChineseLanguage "AtomsphericHazing 是 , 它是当一个地方的大气被少于 1 Millimeter 的悬浮微颗粒遮盖,导致 VisibilityInMeteorology 下降于2 到5公里。") Weather.kif 3075-3077
(documentation AtmosphericHazing EnglishLanguage "AtomsphericHazing is a WeatherProcess in which the atmosphere of the area is obscured by fine suspended particles of less than 1 Millmeter, causing a reduction in visibilityInMeteorology to be between 2 to 5 kilometres. [text courtesy wikipedia]") Weather.kif 3070-3074
(externalImage AtmosphericHazing "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 23/ 32919747_ae077d271d_o.jpg") pictureList.kif 6604-6604
(subclass AtmosphericHazing WeatherProcess) Weather.kif 3078-3078 Atmospheric hazing is a subclass of weather process

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


(termFormat ChineseLanguage AtmosphericHazing "阴霾") Weather.kif 3080-3080
(termFormat EnglishLanguage AtmosphericHazing "atmospheric hazing") Weather.kif 3079-3079

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


(=>
    (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 3082-3096
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 3106-3114


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