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 |