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 1285-1288 | |
(domain averageRainfallForPeriod 1 GeographicArea) | Geography.kif 1289-1289 | The number 1 argument of average rainfall for period is an instance of geographic area |
(domain averageRainfallForPeriod 2 Month) | Geography.kif 1290-1290 | The number 2 argument of average rainfall for period is an instance of month |
(domain averageRainfallForPeriod 3 LengthMeasure) | Geography.kif 1291-1291 | The number 3 argument of average rainfall for period is an instance of length measure |
(instance averageRainfallForPeriod TernaryPredicate) | Geography.kif 1284-1284 | average rainfall for period is an instance of ternary predicate |
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 9371-9371 | |
(termFormat ChineseTraditionalLanguage averageRainfallForPeriod "期間平均降雨量") | domainEnglishFormat.kif 9370-9370 | |
(termFormat EnglishLanguage averageRainfallForPeriod "average rainfall for period") | domainEnglishFormat.kif 9369-9369 |
antecedent |
![]() |
(=> (and (instance ?AREA TropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) (instance ?AREA WetTropicalClimateZone)) |
Geography.kif 1300-1307 |
|
consequent |
![]() |
(=> (instance ?AREA WetTropicalClimateZone) (forall (?MO ?AMOUNT) (=> (averageRainfallForPeriod ?AREA ?MO ?AMOUNT) (greaterThanOrEqualTo ?AMOUNT (MeasureFn 60 (MilliFn Meter)))))) |
Geography.kif 1309-1314 |
|
![]() |
![]() |