| 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 1271-1274 | |
| (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 1269-1269 | subclass TropicalClimateZone and ClimateZone |
| appearance as argument number 2 |
|
|
| (subclass MonsoonClimateZone TropicalClimateZone) | Geography.kif 1316-1316 | subclass MonsoonClimateZone and TropicalClimateZone |
| (subclass WetTropicalClimateZone TropicalClimateZone) | Geography.kif 1293-1293 | subclass WetTropicalClimateZone and TropicalClimateZone |
| (termFormat ChineseLanguage TropicalClimateZone "热带气候区") | domainEnglishFormat.kif 59127-59127 | |
| (termFormat ChineseTraditionalLanguage TropicalClimateZone "熱帶氣候區") | domainEnglishFormat.kif 59126-59126 | |
| (termFormat EnglishLanguage TropicalClimateZone "tropical climate zone") | domainEnglishFormat.kif 59125-59125 |
| antecedent |
|
|
| (=> (and (instance ?AREA TropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) (instance ?AREA WetTropicalClimateZone)) |
Geography.kif 1300-1307 | |
| (=> (and (instance ?AREA TropicalClimateZone) (subclass ?MO Month) (instance ?AREA GeographicArea) (averageTemperatureForPeriod ?AREA ?MO ?TEMP)) (greaterThan ?TEMP (MeasureFn 18 CelsiusDegree))) |
Geography.kif 1276-1282 |
|
|
|