Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - airQualityIndex
airQualityIndex

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


(instance airQualityIndex BinaryPredicate) Weather.kif 4360-4360 air quality index is an instance of binary predicate
(domain airQualityIndex 1 GeographicArea) Weather.kif 4361-4361 The number 1 argument of air quality index is an instance of geographic area
(domain airQualityIndex 2 Integer) Weather.kif 4362-4362 The number 2 argument of air quality index is an instance of integer
(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 4363-4366 The number 2 argument of air quality index is an instance of integer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage airQualityIndex "air quality index") Weather.kif 4367-4367
(format EnglishLanguage airQualityIndex "the air quality index of %1 is %2") Weather.kif 4368-4368

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (and
            (attribute ?L GoodAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (lessThanOrEqualTo ?I 50))		 Weather.kif 4380-4385 If good AQI air quality is an attribute of X and the air quality index of X is Y holds during Z, then Y is less than or equal to 50
(=>
    (holdsDuring ?T
        (and
            (attribute ?L ModerateAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 100)
        (greaterThanOrEqualTo ?I 51)))		 Weather.kif 4393-4400 If moderate AQI air quality is an attribute of X and the air quality index of X is Y holds during Z, then Y is less than or equal to 100 and Y is greater than or equal to 51
(=>
    (holdsDuring ?T
        (and
            (attribute ?L UnhealthyForSensitiveAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 150)
        (greaterThanOrEqualTo ?I 101)))		 Weather.kif 4407-4414 If unhealthy for sensitive groups AQI air quality is an attribute of X and the air quality index of X is Y holds during Z, then Y is less than or equal to 150 and Y is greater than or equal to 101
(=>
    (holdsDuring ?T
        (and
            (attribute ?L UnhealthyAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 200)
        (greaterThanOrEqualTo ?I 151)))		 Weather.kif 4421-4428 If unhealthy AQI air quality is an attribute of X and the air quality index of X is Y holds during Z, then Y is less than or equal to 200 and Y is greater than or equal to 151
(=>
    (holdsDuring ?T
        (and
            (attribute ?L UnhealthyAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (and
        (lessThanOrEqualTo ?I 300)
        (greaterThanOrEqualTo ?I 201)))		 Weather.kif 4435-4442 If unhealthy AQI air quality is an attribute of X and the air quality index of X is Y holds during Z, then Y is less than or equal to 300 and Y is greater than or equal to 201
(=>
    (holdsDuring ?T
        (and
            (attribute ?L HazardousAQIAirQuality)
            (airQualityIndex ?L ?I)))
    (greaterThanOrEqualTo ?I 301))		 Weather.kif 4449-4454 If hazardous AQI air quality is an attribute of X and the air quality index of X is Y holds during Z, then Y is greater than or equal to 301


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners