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 2542-2544
(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 2537-2541
(externalImage AtmosphericHazing "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 23/ 32919747_ae077d271d_o.jpg") pictureList.kif 6605-6605
(subclass AtmosphericHazing WeatherProcess) Weather.kif 2545-2545 AtmosphericHazing è una sottoclasse di WeatherProcess

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


(termFormat ChineseLanguage AtmosphericHazing "阴霾") Weather.kif 2547-2547
(termFormat EnglishLanguage AtmosphericHazing "atmospheric hazing") Weather.kif 2546-2546

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 2549-2563
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))		 Weather.kif 2573-2581


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