UnhealthyAQIAirQuality(unhealthy AQI air quality) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3146-3147 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3145-3145 | 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 3148-3148 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3150-3157 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3164-3171 |
|