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


KB Term:  Term intersection
English Word: 

Sigma KEE - totalPrecipitationForPeriod
totalPrecipitationForPeriod

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


(instance totalPrecipitationForPeriod TernaryPredicate) Weather.kif 1908-1908 total precipitation for period is an instance of ternary predicate
(domain totalPrecipitationForPeriod 1 GeographicArea) Weather.kif 1909-1909 The number 1 argument of total precipitation for period is an instance of geographic area
(domain totalPrecipitationForPeriod 2 TimeDuration) Weather.kif 1910-1910 The number 2 argument of total precipitation for period is an instance of time duration
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1911-1911 The number 3 argument of total precipitation for period is an instance of constant quantity
(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 1912-1915 The number 3 argument of total precipitation for period is an instance of constant quantity

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners