| (=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1263-1267 |
|
| (subclass ClimateZone Attribute) | Geography.kif 1269-1269 | 子類 氣候區 and Attribute |
| (subclass TropicalClimateZone ClimateZone) | Geography.kif 1278-1278 | 子類 熱帶氣候區 and 氣候區 |
| (subclass AridClimateZone ClimateZone) | Geography.kif 1345-1345 | 子類 乾旱氣候帶 and 氣候區 |
| (subclass SemiaridClimateZone ClimateZone) | Geography.kif 1396-1396 | 子類 半乾旱氣候帶 and 氣候區 |
| (subclass TemperateClimateZone ClimateZone) | Geography.kif 1398-1398 | 子類 溫帶氣候區 and 氣候區 |
| (subclass MidlatitudeContinentalClimateZone ClimateZone) | Geography.kif 1482-1482 | 子類 中緯度大陸性氣候帶 and 氣候區 |
| (subclass ColdClimateZone ClimateZone) | Geography.kif 1514-1514 | 子類 寒冷氣候帶 and 氣候區 |
| (subclass PolarClimateZone ClimateZone) | Geography.kif 1558-1558 | 子類 極地氣候區 and 氣候區 |
|
|