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

Formal Language: 



KB Term:  Term intersection
English Word: 

  totalPrecipitationForPeriod

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 1228-1231
(domain totalPrecipitationForPeriod 1 GeographicArea) Weather.kif 1225-1225 totalPrecipitationForPeriod の数値 1 引数は 地理的地域instance では %n
(domain totalPrecipitationForPeriod 2 TimeDuration) Weather.kif 1226-1226 totalPrecipitationForPeriod の数値 2 引数は 時間分instance では %n
(domain totalPrecipitationForPeriod 3 ConstantQuantity) Weather.kif 1227-1227 totalPrecipitationForPeriod の数値 3 引数は 一定量instance では %n
(instance totalPrecipitationForPeriod TernaryPredicate) Weather.kif 1224-1224 totalPrecipitationForPeriod3進述語instance では %n

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