Sigma KB Term Intersection

(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE ClimateZone)) (climateTypeInArea ?AREA ?TYPE))	Geography.kif 1263-1267	地理的地域は ClimateZone の instance では %n ClimateZone は ClimateZone の subclass では %n climateTypeInArea 地理的地域 and ClimateZone
(subclass ClimateZone Attribute)	Geography.kif 1269-1269	ClimateZone は属性の subclass では %n
(subclass TropicalClimateZone ClimateZone)	Geography.kif 1278-1278	TropicalClimateZone は ClimateZone の subclass では %n
(subclass AridClimateZone ClimateZone)	Geography.kif 1345-1345	AridClimateZone は ClimateZone の subclass では %n
(subclass SemiaridClimateZone ClimateZone)	Geography.kif 1396-1396	SemiaridClimateZone は ClimateZone の subclass では %n
(subclass TemperateClimateZone ClimateZone)	Geography.kif 1398-1398	TemperateClimateZone は ClimateZone の subclass では %n
(subclass MidlatitudeContinentalClimateZone ClimateZone)	Geography.kif 1482-1482	MidlatitudeContinentalClimateZone は ClimateZone の subclass では %n
(subclass ColdClimateZone ClimateZone)	Geography.kif 1514-1514	ColdClimateZone は ClimateZone の subclass では %n
(subclass PolarClimateZone ClimateZone)	Geography.kif 1558-1558	PolarClimateZone は ClimateZone の subclass では %n