|
|
   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 1520-1524 | |
| (externalImage ColdClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2449-2449 | |
| (subclass ColdClimateZone ClimateZone) | Geography.kif 1518-1518 | subclass ColdClimateZone and ClimateZone |
| appearance as argument number 2 |
|
|
| (subclass ColdDampClimateZone ColdClimateZone) | Geography.kif 1547-1547 | subclass ColdDampClimateZone and ColdClimateZone |
| (subclass DryWinterColdClimateZone ColdClimateZone) | Geography.kif 1554-1554 | subclass DryWinterColdClimateZone and ColdClimateZone |
| (termFormat ChineseLanguage ColdClimateZone "寒冷气候带") | domainEnglishFormat.kif 15525-15525 | |
| (termFormat ChineseTraditionalLanguage ColdClimateZone "寒冷氣候帶") | domainEnglishFormat.kif 15524-15524 | |
| (termFormat EnglishLanguage ColdClimateZone "cold climate zone") | domainEnglishFormat.kif 15523-15523 |
| antecedent |
|
|
| (=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP)) |
Geography.kif 1526-1534 | |
| (=> (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 1537-1545 |
|
|
|
