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 3090-3093 | |
(domain airQualityIndex 1 GeographicArea) | Weather.kif 3088-3088 | |
(domain airQualityIndex 2 Integer) | Weather.kif 3089-3089 | |
(instance airQualityIndex BinaryPredicate) | Weather.kif 3087-3087 |
appearance as argument number 2 |
(format EnglishLanguage airQualityIndex "the airQualityIndex of %1 is %2") | Weather.kif 3094-3094 |
antecedent |
(=> (holdsDuring ?T (and (attribute ?L GoodAQIAirQuality) (airQualityIndex ?L ?I))) (lessThanOrEqualTo ?I 50)) |
Weather.kif 3105-3110 | |
(=> (holdsDuring ?T (and (attribute ?L HazardousAQIAirQuality) (airQualityIndex ?L ?I))) (greaterThanOrEqualTo ?I 301)) |
Weather.kif 3174-3179 | |
(=> (holdsDuring ?T (and (attribute ?L ModerateAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 100) (greaterThanOrEqualTo ?I 51))) |
Weather.kif 3118-3125 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 200) (greaterThanOrEqualTo ?I 151))) |
Weather.kif 3146-3153 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 300) (greaterThanOrEqualTo ?I 201))) |
Weather.kif 3160-3167 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyForSensitiveAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 150) (greaterThanOrEqualTo ?I 101))) |
Weather.kif 3132-3139 |