Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TemperateClimateZone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TemperateClimateZone ClimateZone) | Geography.kif 2855-2855 | Temperate climate zone is a subclass of climate zone |
| (documentation TemperateClimateZone EnglishLanguage "TemperateClimateZone is the subclass of ClimateZone which the coldest month averaging between 18 degrees and -3 degrees Celsius, and at least one month averaging above 10 degrees Celsius. This is Class C in the Koeppen climate system.") | Geography.kif 2860-2863 | Temperate climate zone is a subclass of climate zone |
| (externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 2999-2999 | Temperate climate zone is a subclass of climate zone |
| (externalImage TemperateClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ World_map_temperate.svg") | pictureList.kif 3219-3219 | Temperate climate zone is a subclass of climate zone |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThan ?AMOUNT 10.0)))) |
Geography.kif 2866-2873 | If temperate 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 X average temperature for period Y for Z celsius degree(s) and Z is greater than 10.0 |
| (=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0)) |
Geography.kif 2876-2882 | If temperate climate zone is a climate type in area of X, Y is an instance of month, and X average temperature for period Y for Z celsius degree(s), then Z is greater than or equal to -3.0 |
| (=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThanOrEqualTo ?AMOUNT -3.0) (lessThanOrEqualTo ?AMOUNT 18.0) (not (exists (?M2 ?MT2) (and (instance ?M2 Month) (averageTemperatureForPeriod ?AREA ?M2 (MeasureFn ?MT2 CelsiusDegree)) (lessThan ?MT2 ?AMOUNT))))))) |
Geography.kif 2885-2900 | If temperate 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 X average temperature for period Y for Z celsius degree(s) and Z is greater than or equal to -3.0 and Z is less than or equal to 18.0 and there don't exist W and V such that W is an instance of month and X average temperature for period W for V celsius degree(s) and V is less than Z |
|
