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 averageRainfallForPeriod の数値 1 引数は 地理的地域instance では %n
(domain averageRainfallForPeriod 2 Month) Geography.kif 1306-1306 averageRainfallForPeriod の数値 2 引数は instance では %n
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1307-1307 averageRainfallForPeriod の数値 3 引数は 長さ測定instance では %n
(instance averageRainfallForPeriod TernaryPredicate) Geography.kif 1300-1300 averageRainfallForPeriod3進述語instance では %n

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