|
|
   TropicalClimateZone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation TropicalClimateZone EnglishLanguage "TropicalClimateZone is a subclass of ClimateZone in which the average temperature of the coldest month is greater than 18 degrees Celsius. This is Class 'A' in the Koeppen climate classification system.") | Geography.kif 1287-1290 | |
| (externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ World_Koppen_Map.png") | pictureList.kif 3020-3020 | |
| (externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ World_map_torrid.svg") | pictureList.kif 3249-3249 | |
| (externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ b/ b3/ Male_lion_on_savanna.jpg") | pictureList.kif 3251-3251 | |
| (externalImage TropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ f/ ff/ Tropical-area-mactan-philippines.jpg") | pictureList.kif 3250-3250 | |
| (subclass TropicalClimateZone ClimateZone) | Geography.kif 1285-1285 |
| appearance as argument number 2 |
|
|
| (subclass MonsoonClimateZone TropicalClimateZone) | Geography.kif 1341-1341 | |
| (subclass WetTropicalClimateZone TropicalClimateZone) | Geography.kif 1316-1316 | |
| (termFormat ChineseLanguage TropicalClimateZone "热带气候区") | domainEnglishFormat.kif 59210-59210 | |
| (termFormat ChineseTraditionalLanguage TropicalClimateZone "熱帶氣候區") | domainEnglishFormat.kif 59209-59209 | |
| (termFormat EnglishLanguage TropicalClimateZone "tropical climate zone") | domainEnglishFormat.kif 59208-59208 |
| antecedent |
|
|
| (=> (and (climateTypeInArea ?AREA TropicalClimateZone) (instance ?MO Month) (averageRainfallForPeriod ?AREA ?MO (MeasureFn ?AMOUNT (MilliFn Meter))) (greaterThanOrEqualTo ?AMOUNT 60.0)) (climateTypeInArea ?AREA WetTropicalClimateZone)) |
Geography.kif 1323-1330 | |
| (=> (climateTypeInArea ?AREA TropicalClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0) (not (exists (?M2 ?MT2) (and (averageTemperatureForPeriod ?AREA ?M2 (MeasureFn ?MT2 CelsiusDegree)) (lessThan ?MT2 ?TEMP))))))) |
Geography.kif 1292-1305 |
|
|
|
