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 3094-3097 | |
(domain airQualityIndex 1 GeographicArea) | Weather.kif 3092-3092 | |
(domain airQualityIndex 2 Integer) | Weather.kif 3093-3093 | |
(instance airQualityIndex BinaryPredicate) | Weather.kif 3091-3091 |
appearance as argument number 2 |
(format EnglishLanguage airQualityIndex "the airQualityIndex of %1 is %2") | Weather.kif 3098-3098 |
antecedent |
(=> (holdsDuring ?T (and (attribute ?L GoodAQIAirQuality) (airQualityIndex ?L ?I))) (lessThanOrEqualTo ?I 50)) |
Weather.kif 3109-3114 | |
(=> (holdsDuring ?T (and (attribute ?L HazardousAQIAirQuality) (airQualityIndex ?L ?I))) (greaterThanOrEqualTo ?I 301)) |
Weather.kif 3178-3183 | |
(=> (holdsDuring ?T (and (attribute ?L ModerateAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 100) (greaterThanOrEqualTo ?I 51))) |
Weather.kif 3122-3129 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 200) (greaterThanOrEqualTo ?I 151))) |
Weather.kif 3150-3157 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 300) (greaterThanOrEqualTo ?I 201))) |
Weather.kif 3164-3171 | |
(=> (holdsDuring ?T (and (attribute ?L UnhealthyForSensitiveAQIAirQuality) (airQualityIndex ?L ?I))) (and (lessThanOrEqualTo ?I 150) (greaterThanOrEqualTo ?I 101))) |
Weather.kif 3136-3143 |