TreeView Knowledge Base Browser - averageRainfallForPeriod

appearance as argument number 1

(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 1432-1435
(domain averageRainfallForPeriod 1 GeographicArea)	Geography.kif 1436-1436	averageRainfallForPeriod の数値 1 引数は地理的地域の instance では
(domain averageRainfallForPeriod 2 Month)	Geography.kif 1437-1437	averageRainfallForPeriod の数値 2 引数は月の instance では
(domain averageRainfallForPeriod 3 LengthMeasure)	Geography.kif 1438-1438	averageRainfallForPeriod の数値 3 引数は長さ測定の instance では
(instance averageRainfallForPeriod TernaryPredicate)	Geography.kif 1431-1431	averageRainfallForPeriod は 3進述語の instance では

appearance as argument number 2

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

antecedent

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

Geography.kif 1447-1454

consequent

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

Geography.kif 1456-1463