Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  averageRainfallForPeriod

Sigma KEE - averageRainfallForPeriod
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 domain averageRainfallForPeriod, 1 and GeographicArea
(domain averageRainfallForPeriod 2 Month) Geography.kif 1290-1290 domain averageRainfallForPeriod, 2 and Month
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1291-1291 domain averageRainfallForPeriod, 3 and LengthMeasure
(instance averageRainfallForPeriod TernaryPredicate) Geography.kif 1284-1284 instance averageRainfallForPeriod and TernaryPredicate

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 9367-9367
(termFormat ChineseTraditionalLanguage averageRainfallForPeriod "期間平均降雨量") domainEnglishFormat.kif 9366-9366
(termFormat EnglishLanguage averageRainfallForPeriod "average rainfall for period") domainEnglishFormat.kif 9365-9365

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners