No TPTP formula. May not be expressible in strict first order. | Geography.kif 1558-1558 | 极地气候区 是 气候区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1584-1584 | 苔原气候带 是 极地气候区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1591-1591 | 极地型F气候区 是 极地气候区 的 subclass |