No TPTP formula. May not be expressible in strict first order. | Weather.kif 503-503 | 天气季节 是 天气过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 510-510 | 雨季 是 天气季节 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 511-511 | 飓风季节 是 天气季节 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 512-512 | 厄尔尼诺 是 天气季节 的 subclass |