HazardousAQIAirQuality(hazardous AQI air quality) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3174-3175 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3173-3173 | Hazardous 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 3176-3176 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3178-3183 |
|