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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 3094-3097
(domain airQualityIndex 1 GeographicArea) Weather.kif 3092-3092 The number 1 argument of airQualityIndex is an instance of geographic area
(domain airQualityIndex 2 Integer) Weather.kif 3093-3093 The number 2 argument of airQualityIndex is an instance of integer
(instance airQualityIndex BinaryPredicate) Weather.kif 3091-3091 airQualityIndex is an instance of binary predicate

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


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 is open source software produced by Articulate Software and its partners