| 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 | Die Zahl 1 Argument von totalPrecipitationForPeriod ist ein fall von GeographicArea %n{nicht} |
| (domain totalPrecipitationForPeriod 2 TimeDuration) | Weather.kif 1230-1230 | Die Zahl 2 Argument von totalPrecipitationForPeriod ist ein fall von TimeDuration %n{nicht} |
| (domain totalPrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 1231-1231 | Die Zahl 3 Argument von totalPrecipitationForPeriod ist ein fall von ConstantQuantity %n{nicht} |
| (instance totalPrecipitationForPeriod TernaryPredicate) | Weather.kif 1228-1228 | totalPrecipitationForPeriod ist ein fall von TernaryPredicate %n{nicht} |
| 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