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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Die Zahl 1 Argument von averageRainfallForPeriod ist ein fall von GeographicArea %n{nicht}
(domain averageRainfallForPeriod 2 Month) Geography.kif 1306-1306 Die Zahl 2 Argument von averageRainfallForPeriod ist ein fall von Month %n{nicht}
(domain averageRainfallForPeriod 3 LengthMeasure) Geography.kif 1307-1307 Die Zahl 3 Argument von averageRainfallForPeriod ist ein fall von LengthMeasure %n{nicht}
(instance averageRainfallForPeriod TernaryPredicate) Geography.kif 1300-1300 averageRainfallForPeriod ist ein fall von TernaryPredicate %n{nicht}

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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