airQualityIndex |
appearance as argument number 1 |
(documentation airQualityIndex EnglishLanguage "The U.S. AQI is EPA’s index for reporting air quality. The components of this metric are: ground-level ozone, particle pollution (also known as particulate matter, including PM2.5 and PM10), carbon monoxide, sulfur dioxide and nitrogen dioxide. See https:/ / www.airnow.gov/ aqi/ aqi-basics/ ") | Weather.kif 3077-3080 | |
(domain airQualityIndex 1 GeographicArea) | Weather.kif 3075-3075 | |
(domain airQualityIndex 2 Integer) | Weather.kif 3076-3076 | |
(instance airQualityIndex BinaryPredicate) | Weather.kif 3074-3074 |
appearance as argument number 2 |
(format EnglishLanguage airQualityIndex "the airQualityIndex of %1 is %2") | Weather.kif 3081-3081 |
antecedent |
(=> (holdsDuring ?T (and (attribute ?L GoodAQIAirQuality) (airQualityIndex ?L ?I))) (lessThanOrEqualTo ?I 50)) |
Weather.kif 3092-3097 | |
(=> (holdsDuring ?T (and (attribute ?L HazardousAQIAirQuality) (airQualityIndex ?L ?I))) (greaterThanOrEqualTo ?I 301)) |
Weather.kif 3161-3166 | |
(=> (holdsDuring ?T (and (attribute ?L ModerateAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 100) (greaterThanOrEqualTo ?I 51))) |
Weather.kif 3105-3112 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 200) (greaterThanOrEqualTo ?I 151))) |
Weather.kif 3133-3140 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 300) (greaterThanOrEqualTo ?I 201))) |
Weather.kif 3147-3154 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyForSensitiveAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 150) (greaterThanOrEqualTo ?I 101))) |
Weather.kif 3119-3126 |