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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AtmosphericHazing

Sigma KEE - AtmosphericHazing
AtmosphericHazing

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


(documentation AtmosphericHazing ChineseLanguage "AtomsphericHazing 是 , 它是当一个地方的大气被少于 1 Millimeter 的悬浮微颗粒遮盖,导致 VisibilityInMeteorology 下降于2 到5公里。") Weather.kif 2559-2561
(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 2554-2558
(externalImage AtmosphericHazing "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 23/ 32919747_ae077d271d_o.jpg") pictureList.kif 6605-6605
(subclass AtmosphericHazing WeatherProcess) Weather.kif 2562-2562

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


(termFormat ChineseLanguage AtmosphericHazing "阴霾") Weather.kif 2564-2564
(termFormat EnglishLanguage AtmosphericHazing "atmospheric hazing") Weather.kif 2563-2563

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 2566-2580
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2590-2598


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