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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - totalPrecipitationForPeriod
totalPrecipitationForPeriod

appearance as argument number 1
-------------------------


(documentation totalPrecipitationForPeriod EnglishLanguage "(totalPrecipitationForPeriod ?PLACE ?PERIOD ?AMOUNT) means that at the GeographicArea ?PLACE, and during the TimeDuration ?PERIOD, the total amount of precipitation was ?AMOUNT.") Weather.kif 1232-1235
(domain totalPrecipitationForPeriod 1 GeographicArea) Weather.kif 1229-1229 The number 1 argument of total precipitation for period is an instance of geographic area
(domain totalPrecipitationForPeriod 2 TimeDuration) Weather.kif 1230-1230 The number 2 argument of total precipitation for period is an instance of time duration
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1231-1231 The number 3 argument of total precipitation for period is an instance of constant quantity
(instance totalPrecipitationForPeriod TernaryPredicate) Weather.kif 1228-1228 total precipitation for period is an instance of ternary predicate

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


(format ChineseLanguage totalPrecipitationForPeriod "%1 %n 是 对于 %3 在周期 %2 的 total 降雨量") domainEnglishFormat.kif 2523-2523
(format ChineseTraditionalLanguage totalPrecipitationForPeriod "%1 %n 是 對於 %3 在週期 %2 的 total 降雨量") domainEnglishFormat.kif 2522-2522
(format EnglishLanguage totalPrecipitationForPeriod "%1 is %n total precipitation for period %2 for %3") domainEnglishFormat.kif 2521-2521
(termFormat ChineseLanguage totalPrecipitationForPeriod "期间总降水量") domainEnglishFormat.kif 58610-58610
(termFormat ChineseTraditionalLanguage totalPrecipitationForPeriod "期間總降水量") domainEnglishFormat.kif 58609-58609
(termFormat EnglishLanguage totalPrecipitationForPeriod "total precipitation for period") domainEnglishFormat.kif 58608-58608


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