TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PolarClimateZone ClimateZone)	Geography.kif 3015-3015	Polar climate zone is a subclass of climate zone
(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 3017-3020	Polar climate zone is a subclass of climate zone
(externalImage PolarClimateZone "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ World_Koppen_Map.png")	pictureList.kif 2511-2511	Polar climate zone is a subclass of climate zone

appearance as argument number 2

(subclass TundraClimateZone PolarClimateZone)	Geography.kif 3041-3041	Tundra climate zone is a subclass of polar climate zone
(subclass PolarTypeFClimateZone PolarClimateZone)	Geography.kif 3048-3048	Polar typeF climate zone is a subclass of polar climate zone
(attribute SouthernOcean PolarClimateZone)	Geography.kif 6223-6223	Polar climate zone is an attribute of southern ocean
(termFormat EnglishLanguage PolarClimateZone "polar climate zone")	domainEnglishFormat.kif 46373-46373	Polar climate zone is an attribute of southern ocean
(termFormat ChineseTraditionalLanguage PolarClimateZone "極地氣候區")	domainEnglishFormat.kif 46374-46374	Polar climate zone is an attribute of southern ocean
(termFormat ChineseLanguage PolarClimateZone "极地气候区")	domainEnglishFormat.kif 46375-46375	Polar climate zone is an attribute of southern ocean

antecedent

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

If polar climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and 10.0 is greater than Z

consequent

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

If X is an instance of geographic area, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and 10.0 is greater than Z, then polar climate zone is a climate type in area of X