|
|
   SubtropicalDesertClimateZone
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SubtropicalDesertClimateZone EnglishLanguage "SubtropicalDesertClimateZone is a subclass of DesertClimateZone that is characterized by an average temperature greater than 18 degrees Celsius, as well as very low rainfall. This is Koeppen system 'BWh'.") | Geography.kif 2838-2842 | |
| (subclass SubtropicalDesertClimateZone DesertClimateZone) | Geography.kif 2837-2837 | Subtropical desert climate zone is a subclass of desert climate zone |
| appearance as argument number 2 |
|
|
| (climateTypeInArea DeathValley SubtropicalDesertClimateZone) | Geography.kif 517-517 | Subtropical desert climate zone is a climate type in area of Death Valley |
| (climateTypeInArea SaharaDesert SubtropicalDesertClimateZone) | Geography.kif 8262-8262 | Subtropical desert climate zone is a climate type in area of Sahara Desert |
| (termFormat ChineseLanguage SubtropicalDesertClimateZone "亚热带沙漠气候区") | domainEnglishFormat.kif 55863-55863 | Subtropical desert climate zone is a climate type in area of Sahara Desert |
| (termFormat ChineseTraditionalLanguage SubtropicalDesertClimateZone "亞熱帶沙漠氣候區") | domainEnglishFormat.kif 55862-55862 | Subtropical desert climate zone is a climate type in area of Sahara Desert |
| (termFormat EnglishLanguage SubtropicalDesertClimateZone "subtropical desert climate zone") | domainEnglishFormat.kif 55861-55861 | Subtropical desert climate zone is a climate type in area of Sahara Desert |
| antecedent |
|
|
| (=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)))) |
Geography.kif 2853-2860 |
|
| consequent |
|
|
| (=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 2844-2851 |
|
|
|
|