PolarTypeFClimateZone - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

If polar typeF climate zone is a climate type in area of X, Y is an instance of time position, and Z celsius degree(s) is an air temperature of X holds during Y, then 10.0 is greater than Z holds during Y