| 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 1216-1219 | |
| (domain totalPrecipitationForPeriod 1 GeographicArea) | Weather.kif 1213-1213 | The number 1 argument of total precipitation for period is an instance of geographic area |
| (domain totalPrecipitationForPeriod 2 TimeDuration) | Weather.kif 1214-1214 | The number 2 argument of total precipitation for period is an instance of time duration |
| (domain totalPrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 1215-1215 | The number 3 argument of total precipitation for period is an instance of constant quantity |
| (instance totalPrecipitationForPeriod TernaryPredicate) | Weather.kif 1212-1212 | 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 58654-58654 | |
| (termFormat ChineseTraditionalLanguage totalPrecipitationForPeriod "期間總降水量") | domainEnglishFormat.kif 58653-58653 | |
| (termFormat EnglishLanguage totalPrecipitationForPeriod "total precipitation for period") | domainEnglishFormat.kif 58652-58652 |
|
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