UnhealthyForSensitiveAQIAirQuality
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3115-3116 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3114-3114 | UnhealthyForSensitiveAQIAirQuality 是 AirQualityAQIAttribute 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3117-3117 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3119-3126 |
|