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

Formal Language: 



KB Term:  Term intersection
English Word: 

  airQualityIndex

 Sigma KEE - airQualityIndex
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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners