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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BadAirQuality

Sigma KEE - BadAirQuality
BadAirQuality

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


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

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


(=>
    (and
        (instance ?DUST DustStorm)
        (instance ?PLACE GeographicArea)
        (eventLocated ?DUST ?PLACE))
    (holdsDuring
        (WhenFn ?DUST)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2599-2607
(=>
    (and
        (instance ?HAZE AtmosphericHazing)
        (instance ?PLACE GeographicArea)
        (eventLocated ?HAZE ?PLACE))
    (holdsDuring
        (WhenFn ?HAZE)
        (modalAttribute
            (attribute ?PLACE BadAirQuality) Likely)))
Weather.kif 2589-2597


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