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 2578-2579
(documentation BadAirQuality EnglishLanguage "When there is AtmosphericHazing or DustStorm in a GeographicArea, the place is likely to suffer from BadAirQuality.") Weather.kif 2575-2577
(instance BadAirQuality RelationalAttribute) Weather.kif 2581-2581

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


(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2593-2601
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2583-2591


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