(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE)) |
Geography.kif 1263-1267 | |
(subclass ClimateZone Attribute) | Geography.kif 1269-1269 | |
(subclass TropicalClimateZone ClimateZone) | Geography.kif 1278-1278 | |
(subclass AridClimateZone ClimateZone) | Geography.kif 1345-1345 | |
(subclass SemiaridClimateZone ClimateZone) | Geography.kif 1396-1396 | |
(subclass TemperateClimateZone ClimateZone) | Geography.kif 1398-1398 | |
(subclass MidlatitudeContinentalClimateZone ClimateZone) | Geography.kif 1482-1482 | |
(subclass ColdClimateZone ClimateZone) | Geography.kif 1514-1514 | |
(subclass PolarClimateZone ClimateZone) | Geography.kif 1558-1558 |