TreeView Knowledge Base Browser - UnhealthyAQIAirQuality

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

UnhealthyAQIAirQuality

Sigma KEE - UnhealthyAQIAirQuality

UnhealthyAQIAirQuality(unhealthy AQI air quality)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3129-3130
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3128-3128	Unhealthy AQI air quality is an instance of AirQualityAQIAttribute

appearance as argument number 2

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

Weather.kif 3131-3131

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3133-3140	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 3147-3154	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

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