No TPTP formula. May not be expressible in strict first order. | Geography.kif 1278-1278 | 子類 熱帶氣候區 and 氣候區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1309-1309 | 子類 濕熱帶氣候區 and 熱帶氣候區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1334-1334 | 子類 季風氣候區 and 熱帶氣候區 |