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 1301-1304
(domain averageRainfallForPeriod 1 GeographicArea) Geography.kif 1305-1305 The number 1 argument of average rainfall for period is an instance of geographic area
(domain averageRainfallForPeriod 2 Month) Geography.kif 1306-1306 The number 2 argument of average rainfall for period is an instance of month
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1307-1307 The number 3 argument of average rainfall for period is an instance of length measure
(instance averageRainfallForPeriod TernaryPredicate) Geography.kif 1300-1300 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 9354-9354
(termFormat ChineseTraditionalLanguage averageRainfallForPeriod "期間平均降雨量") domainEnglishFormat.kif 9353-9353
(termFormat EnglishLanguage averageRainfallForPeriod "average rainfall for period") domainEnglishFormat.kif 9352-9352

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


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

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


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


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