AirQualityAQIAttribute |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3100-3100 | 子類 AirQualityAQIAttribute and Attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3104-3104 | 例 GoodAQIAirQuality and AirQualityAQIAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3173-3173 | 例 HazardousAQIAirQuality and AirQualityAQIAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3116-3116 | 例 ModerateAQIAirQuality and AirQualityAQIAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3145-3145 | 例 UnhealthyAQIAirQuality and AirQualityAQIAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3131-3131 | 例 UnhealthyForSensitiveAQIAirQuality and AirQualityAQIAttribute |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3159-3159 | 例 VeryUnhealthyAQIAirQuality and AirQualityAQIAttribute |