(subclass PolarClimateZone ClimateZone) | Geography.kif 1558-1558 | PolarClimateZone は ClimateZone の subclass では %n |
(subclass TundraClimateZone PolarClimateZone) | Geography.kif 1584-1584 | TundraClimateZone は PolarClimateZone の subclass では %n |
(subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1591-1591 | PolarTypeFClimateZone は PolarClimateZone の subclass では %n |