(subclass ColdClimateZone ClimateZone) | Geography.kif 1514-1514 | ColdClimateZone は ClimateZone の subclass では %n |
(subclass ColdDampClimateZone ColdClimateZone) | Geography.kif 1543-1543 | ColdDampClimateZone は ColdClimateZone の subclass では %n |
(subclass DryWinterColdClimateZone ColdClimateZone) | Geography.kif 1550-1550 | DryWinterColdClimateZone は ColdClimateZone の subclass では %n |