| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1278-1278 | 热带气候区 是 气候区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1309-1309 | 湿热带气候区 是 热带气候区 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1334-1334 | 季风气候区 是 热带气候区 的 subclass |
|
|