averageRainfallForPeriod - Sigma Knowledge base Browser

appearance as argument number 1

(instance averageRainfallForPeriod TernaryPredicate)	Geography.kif 2757-2757	average rainfall for period is an instance of ternary predicate
(documentation averageRainfallForPeriod EnglishLanguage "(averageRainfallForPeriod ?AREA ?MO ?AMOUNT) means that ?AREA receives ?AMOUNT of rain in month ?MO in an average year. Note that ?AMOUNT is a linear measure indicating the depth of water that would accumulate over ?AREA if all water were captured.")	Geography.kif 2758-2761	average rainfall for period is an instance of ternary predicate
(domain averageRainfallForPeriod 1 GeographicArea)	Geography.kif 2762-2762	The number 1 argument of average rainfall for period is an instance of geographic area
(domain averageRainfallForPeriod 2 Month)	Geography.kif 2763-2763	The number 2 argument of average rainfall for period is an instance of month
(domain averageRainfallForPeriod 3 LengthMeasure)	Geography.kif 2764-2764	The number 3 argument of average rainfall for period is an instance of length measure

appearance as argument number 2

(format EnglishLanguage averageRainfallForPeriod "%1 %n{doesn't} average rainfall for period %2 for %3")	domainEnglishFormat.kif 234-234
(format ChineseTraditionalLanguage averageRainfallForPeriod "%1 %n{不是} 對於 %3 在 %2 週期的 average 降雨量")	domainEnglishFormat.kif 235-235
(format ChineseLanguage averageRainfallForPeriod "%1 %n{不是} 对于 %3 在 %2 周期的 average 降雨量")	domainEnglishFormat.kif 236-236
(termFormat EnglishLanguage averageRainfallForPeriod "average rainfall for period")	domainEnglishFormat.kif 9352-9352
(termFormat ChineseTraditionalLanguage averageRainfallForPeriod "期間平均降雨量")	domainEnglishFormat.kif 9353-9353
(termFormat ChineseLanguage averageRainfallForPeriod "期间平均降雨量")	domainEnglishFormat.kif 9354-9354

antecedent

(=>
    (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

consequent

(=>
    (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