TreeView Knowledge Base Browser - WetTropicalClimateZone

appearance as argument number 1

(subclass WetTropicalClimateZone TropicalClimateZone)	Geography.kif 2766-2766	Wet tropical climate zone is a subclass of tropical climate zone
(documentation WetTropicalClimateZone EnglishLanguage "WetTropicalClimateZone is the subclass of TropicalClimateZone that is characterized by having no dry months. At least 60 mm of rainfall occur in the driest month. This is subtype 'Af' in the Koeppen climate system.")	Geography.kif 2768-2771	Wet tropical climate zone is a subclass of tropical climate zone
(externalImage WetTropicalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 90/ River_in_the_Amazon_rainforest.jpg")	pictureList.kif 4947-4947	Wet tropical climate zone is a subclass of tropical climate zone

appearance as argument number 2

(termFormat EnglishLanguage WetTropicalClimateZone "wet tropical climate zone")	domainEnglishFormat.kif 62950-62950
(termFormat ChineseTraditionalLanguage WetTropicalClimateZone "濕熱帶氣候區")	domainEnglishFormat.kif 62951-62951
(termFormat ChineseLanguage WetTropicalClimateZone "湿热带气候区")	domainEnglishFormat.kif 62952-62952

antecedent

(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))

If wet tropical climate zone is a climate type in area of X, then For all Month Y and RealNumber Z: X average rainfall for period Y for Z one thousandth of a meter(s) and Z is greater than or equal to 60.0

consequent

(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))

If tropical climate zone is a climate type in area of X, Y is an instance of month, X average rainfall for period Y for Z one thousandth of a meter(s), and Z is greater than or equal to 60.0, then wet tropical climate zone is a climate type in area of X