Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ColdClimateZone(cold climate zone)
|
| appearance as argument number 1 |
|
| (subclass ColdClimateZone ClimateZone) | Geography.kif 2971-2971 | Cold climate zone is a subclass of climate zone |
| (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 2973-2977 | Cold climate zone is a subclass of climate zone |
| (externalImage ColdClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2447-2447 | Cold climate zone is a subclass of climate zone |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP)) |
Geography.kif 2979-2987 | If cold climate zone is a climate type in area of X and For all TimeInterval Y: Y is an instance of month and X average temperature for period Y for Z celsius degree(s), then 10.0 is greater than Z |
| (=> (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 2990-2998 | If cold climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and Y is a part of winter season and X average temperature for period Y for Z celsius degree(s) and Z is less than -3.0 |
|