No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1345-1345 |
子類 乾旱氣候帶 and 氣候區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1514-1514 |
子類 寒冷氣候帶 and 氣候區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1482-1482 |
子類 中緯度大陸性氣候帶 and 氣候區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1558-1558 |
子類 極地氣候區 and 氣候區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1396-1396 |
子類 半乾旱氣候帶 and 氣候區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1398-1398 |
子類 溫帶氣候區 and 氣候區 |
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. |
domainEnglishFormat.kif 15156-15156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15155-15155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15154-15154 |
|