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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BadAirQuality
BadAirQuality

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


(documentation BadAirQuality ChineseLanguage "在阴霾 AtmosphericHazing和沙尘暴DustStorm 发生的地方 GeographicArea, 当地的空气多会是差的BadAirQuality。") Weather.kif 2585-2586
(documentation BadAirQuality EnglishLanguage "When there is AtmosphericHazing or DustStorm in a GeographicArea, the place is likely to suffer from BadAirQuality.") Weather.kif 2582-2584
(instance BadAirQuality RelationalAttribute) Weather.kif 2588-2588

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


(termFormat EnglishLanguage BadAirQuality "Bad air quality") domainEnglishFormat.kif 64503-64503

consequent
-------------------------


(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2600-2608
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2590-2598


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