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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AtmosphericHazing
AtmosphericHazing

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


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

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


(termFormat ChineseLanguage AtmosphericHazing "阴霾") Weather.kif 2559-2559
(termFormat EnglishLanguage AtmosphericHazing "atmospheric hazing") Weather.kif 2558-2558

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)
        (lessThan ?VISIBILITY 5)))
Weather.kif 2561-2575
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2585-2593


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