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
-------------------------


s__documentation(s__averageRainfallForPeriod__m,s__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 1291-1294
s__domain(s__averageRainfallForPeriod__m,n__1,s__GeographicArea)

Geography.kif 1295-1295 The number 1 argument of average rainfall for period is an instance of geographic area
s__domain(s__averageRainfallForPeriod__m,n__2,s__Month)

Geography.kif 1296-1296 The number 2 argument of average rainfall for period is an instance of month
s__domain(s__averageRainfallForPeriod__m,n__3,s__LengthMeasure)

Geography.kif 1297-1297 The number 3 argument of average rainfall for period is an instance of length measure
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__averageRainfallForPeriod__m,s__TernaryPredicate)

Geography.kif 1290-1290 average rainfall for period is an instance of ternary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__averageRainfallForPeriod__m,'"%1 %n{不是} 对于 %3 在 %2 周期的 average 降雨量"')

domainEnglishFormat.kif 236-236
s__format(s__ChineseTraditionalLanguage,s__averageRainfallForPeriod__m,'"%1 %n{不是} 對於 %3 在 %2 週期的 average 降雨量"')

domainEnglishFormat.kif 235-235
s__format(s__EnglishLanguage,s__averageRainfallForPeriod__m,'"%1 %n{doesnt} average rainfall for period %2 for %3"')

domainEnglishFormat.kif 234-234
s__termFormat(s__ChineseLanguage,s__averageRainfallForPeriod__m,'"期间平均降雨量"')

domainEnglishFormat.kif 9363-9363
s__termFormat(s__ChineseTraditionalLanguage,s__averageRainfallForPeriod__m,'"期間平均降雨量"')

domainEnglishFormat.kif 9362-9362
s__termFormat(s__EnglishLanguage,s__averageRainfallForPeriod__m,'"average rainfall for period"')

domainEnglishFormat.kif 9361-9361

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


( ! [V__AREA] :
   (((s__instance(V__AREA,s__TropicalClimateZone) &
         ( ! [V__MO, V__AMOUNT] :
           (((s__instance(V__MO,s__Month) &
                 s__instance(V__AMOUNT,s__RealNumber))
               =>
               ((s__averageRainfallForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__MilliFn(s__Meter)))
               =>
               (s__greaterThanOrEqualTo(V__AMOUNT,n__60))))))))
=>
(s__instance(V__AREA,s__WetTropicalClimateZone)))
)
)

Geography.kif 1306-1314

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


( ! [V__AREA] :
   ((s__instance(V__AREA,s__WetTropicalClimateZone) =>
       (( ! [V__MO, V__AMOUNT] :
           (((s__instance(V__MO,s__Month) &
                 s__instance(V__AMOUNT,s__RealNumber))
               =>
               ((s__averageRainfallForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__MilliFn(s__Meter)))
               =>
               (s__greaterThanOrEqualTo(V__AMOUNT,n__60)))))))))
)
)

Geography.kif 1316-1322


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