PolarTypeFClimateZone - Sigma Knowledge base Browser

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 1587-1589
(externalImage PolarTypeFClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8f/ Vatnaj%C3%B6kull.jpeg")	pictureList.kif 2512-2512
(subclass PolarTypeFClimateZone PolarClimateZone)	Geography.kif 1585-1585	Polar typeF climate zone is a subclass of polar climate zone

appearance as argument number 2

(termFormat ChineseLanguage PolarTypeFClimateZone "极地型F气候区")	domainEnglishFormat.kif 46423-46423
(termFormat ChineseTraditionalLanguage PolarTypeFClimateZone "極地型F氣候區")	domainEnglishFormat.kif 46422-46422
(termFormat EnglishLanguage PolarTypeFClimateZone "polar typeF climate zone")	domainEnglishFormat.kif 46421-46421

antecedent

(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))

Geography.kif 1591-1597