SubtropicalDesertClimateZone(subtropical desert climate zone) |
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 1364-1368 | |
(subclass SubtropicalDesertClimateZone DesertClimateZone) | Geography.kif 1363-1363 | Subtropical desert climate zone is a subclass of desert climate zone |
appearance as argument number 2 |
(termFormat ChineseLanguage SubtropicalDesertClimateZone "亚热带沙漠气候区") | domainEnglishFormat.kif 55900-55900 | |
(termFormat ChineseTraditionalLanguage SubtropicalDesertClimateZone "亞熱帶沙漠氣候區") | domainEnglishFormat.kif 55899-55899 | |
(termFormat EnglishLanguage SubtropicalDesertClimateZone "subtropical desert climate zone") | domainEnglishFormat.kif 55898-55898 |
antecedent |
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)))) |
Geography.kif 1379-1386 |
|
consequent |
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 1370-1377 |
|