airQualityIndex - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3090-3093
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3088-3088	The number 1 argument of airQualityIndex is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3089-3089	The number 2 argument of airQualityIndex is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3087-3087	airQualityIndex is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Weather.kif 3094-3094

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3105-3110	If good AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 50
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3174-3179	If hazardous AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is greater than or equal to 301
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3118-3125	If moderate AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 100 and the real number is greater than or equal to 51
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3146-3153	If unhealthy AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 200 and the real number is greater than or equal to 151
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3160-3167	If unhealthy AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 300 and the real number is greater than or equal to 201
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3132-3139	If unhealthy for sensitive groups AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 150 and the real number is greater than or equal to 101

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