| PolarTypeFClimateZone(polar typeF climate zone)
| | polar_typeF_climate_zone, 极地型F气候区, 極地型F氣候區 |
| appearance as argument number 1 |
|
|
| (documentation PolarTypeFClimateZone EnglishLanguage "PolarTypeFClimateZone is a subclass of PolarClimateZone characterized by having no month in which the temperature rises to 10 degrees Celsius or above.") | Geography.kif 1535-1537 | |
| (externalImage PolarTypeFClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8f/ Vatnaj%C3%B6kull.jpeg") | pictureList.kif 2514-2514 | "http://upload.wikimedia.org/wikipedia/commons/8/8f/ Vatnaj%C3%B6kull.jpeg" is a URL depicting polar typeF climate zone |
| (subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1533-1533 | Polar typeF climate zone is a subclass of polar climate zone |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PolarTypeFClimateZone "极地型F气候区") | domainEnglishFormat.kif 46327-46327 | "极地型F气候区" is the printable form of polar typeF climate zone in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage PolarTypeFClimateZone "極地型F氣候區") | domainEnglishFormat.kif 46326-46326 | "極地型F氣候區" is the printable form of polar typeF climate zone in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage PolarTypeFClimateZone "polar typeF climate zone") | domainEnglishFormat.kif 46325-46325 | "polar typeF climate zone" is the printable form of polar typeF climate zone in english language |
| antecedent |
|
|
| (=> (and (instance ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA ?TEMP))) (holdsDuring ?TIME (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP))) |
Geography.kif 1539-1544 |
|
|
|
|