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 3090-3093
(domain airQualityIndex 1 GeographicArea) Weather.kif 3088-3088 Die Zahl 1 Argument von airQualityIndex ist ein fall von GeographicArea %n{nicht}
(domain airQualityIndex 2 Integer) Weather.kif 3089-3089 Die Zahl 2 Argument von airQualityIndex ist ein fall von Integer %n{nicht}
(instance airQualityIndex BinaryPredicate) Weather.kif 3087-3087 airQualityIndex ist ein fall von BinaryPredicate %n{nicht}

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


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