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 1308-1311
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1312-1312
(domain averageRainfallForPeriod 2 Month) Geography.kif 1313-1313
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1314-1314
(instance averageRainfallForPeriod TernaryPredicate) Geography.kif 1307-1307

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

antecedent
-------------------------


(=>
    (and
        (climateTypeInArea ?AREA TropicalClimateZone)
        (instance ?MO Month)
        (averageRainfallForPeriod ?AREA ?MO
            (MeasureFn ?AMOUNT
                (MilliFn Meter)))
        (greaterThanOrEqualTo ?AMOUNT 60.0))
    (climateTypeInArea ?AREA WetTropicalClimateZone))
Geography.kif 1323-1330

consequent
-------------------------


(=>
    (climateTypeInArea ?AREA WetTropicalClimateZone)
    (forall (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageRainfallForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT
                    (MilliFn Meter)))
            (greaterThanOrEqualTo ?AMOUNT 60.0))))
Geography.kif 1332-1339


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 3.0 is open source software produced by Articulate Software and its partners