TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DesertClimateZone AridClimateZone)	Geography.kif 2815-2815	Desert climate zone is a subclass of arid climate zone
(documentation DesertClimateZone EnglishLanguage "DesertClimateZone is the class of AridClimateZones characterized by sparse, desert vegetation. Koeppen system 'BW'.")	Geography.kif 2816-2818	Desert climate zone is a subclass of arid climate zone
(externalImage DesertClimateZone "http://upload.wikimedia.org/wikipedia/ en/ 8/ 88/ Saguaro_Forest_-_Tucson_Arizona_-_Relic38.JPG")	pictureList.kif 2567-2567	Desert climate zone is a subclass of arid climate zone
(externalImage DesertClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 66/ Agasthiyamalai_range_and_Tirunelveli_rainshadow.jpg")	pictureList.kif 2568-2568	Desert climate zone is a subclass of arid climate zone

appearance as argument number 2

(subclass SubtropicalDesertClimateZone DesertClimateZone)	Geography.kif 2820-2820	Subtropical desert climate zone is a subclass of desert climate zone
(subclass MiddleLatitudeDesertClimateZone DesertClimateZone)	Geography.kif 2845-2845	Middle latitude desert climate zone is a subclass of desert climate zone
(termFormat EnglishLanguage DesertClimateZone "desert climate zone")	domainEnglishFormat.kif 19206-19206	Middle latitude desert climate zone is a subclass of desert climate zone
(termFormat ChineseTraditionalLanguage DesertClimateZone "沙漠氣候區")	domainEnglishFormat.kif 19207-19207	Middle latitude desert climate zone is a subclass of desert climate zone
(termFormat ChineseLanguage DesertClimateZone "沙漠气候区")	domainEnglishFormat.kif 19208-19208	Middle latitude desert climate zone is a subclass of desert climate zone

antecedent

(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))

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