|
|
   ColdClimateZone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ColdClimateZone EnglishLanguage "ColdClimateZone is the subclass of ClimateZone that is characterized by a warmest month with average temperature less than 10 degrees Celsius and a coldest month with average temperature less than -3 degrees Celsius. This is Koeppen climate system Type D.") | Geography.kif 1516-1520 | |
| (externalImage ColdClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2448-2448 | |
| (subclass ColdClimateZone ClimateZone) | Geography.kif 1514-1514 | ColdClimateZone は ClimateZone の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass ColdDampClimateZone ColdClimateZone) | Geography.kif 1543-1543 | ColdDampClimateZone は ColdClimateZone の subclass では %n |
| (subclass DryWinterColdClimateZone ColdClimateZone) | Geography.kif 1550-1550 | DryWinterColdClimateZone は ColdClimateZone の subclass では %n |
| (termFormat ChineseLanguage ColdClimateZone "寒冷气候带") | domainEnglishFormat.kif 15530-15530 | |
| (termFormat ChineseTraditionalLanguage ColdClimateZone "寒冷氣候帶") | domainEnglishFormat.kif 15529-15529 | |
| (termFormat EnglishLanguage ColdClimateZone "cold climate zone") | domainEnglishFormat.kif 15528-15528 |
| antecedent |
|
|
| (=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP)) |
Geography.kif 1522-1530 |
|
| (=> (climateTypeInArea ?AREA ColdClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (temporalPart ?MO WinterSeason) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (lessThan ?AMOUNT -3.0)))) |
Geography.kif 1533-1541 |
|
|
|
|
