TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PolarClimateZone EnglishLanguage "PolarClimateZone is a subclass of ClimateZone characterized by having an average temperature less than 10 degrees Celsius in the warmest month. This is Koeppen climate system Type E. No agriculture is supported in polar climates.")	Geography.kif 3034-3037
(externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png")	pictureList.kif 2511-2511
(subclass PolarClimateZone ClimateZone)	Geography.kif 3032-3032	Polar climate zone is a subclass of climate zone

appearance as argument number 2

(attribute SouthernOcean PolarClimateZone)	Geography.kif 6233-6233	Polar climate zone is an attribute of southern ocean
(subclass PolarTypeFClimateZone PolarClimateZone)	Geography.kif 3065-3065	Polar typeF climate zone is a subclass of polar climate zone
(subclass TundraClimateZone PolarClimateZone)	Geography.kif 3058-3058	Tundra climate zone is a subclass of polar climate zone
(termFormat ChineseLanguage PolarClimateZone "极地气候区")	domainEnglishFormat.kif 46381-46381	Tundra climate zone is a subclass of polar climate zone
(termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區")	domainEnglishFormat.kif 46380-46380	Tundra climate zone is a subclass of polar climate zone
(termFormat EnglishLanguage PolarClimateZone "polar climate zone")	domainEnglishFormat.kif 46379-46379	Tundra climate zone is a subclass of polar climate zone

antecedent

(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan 10.0 ?TEMP))))

Geography.kif 3040-3047

consequent

(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))

Geography.kif 3049-3056