| PolarTypeFClimateZone
| | polar_typeF_climate_zone |
| 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 | |
| (subclass PolarTypeFClimateZone PolarClimateZone) | Geography.kif 1533-1533 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PolarTypeFClimateZone "polar typeF climate zone") | domainEnglishFormat.kif 8154-8154 |
| antecedent |
|
|
| (=> (and (instance ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA ?TEMP))) (holdsDuring ?TIME (greaterThan (MeasureFn 10 CelsiusDegree) ?TEMP))) |
Geography.kif 1539-1544 |
|
|
|