| appearance as argument number 1 |
|
| (documentation averagePrecipitationForPeriod EnglishLanguage "(averagePrecipitationForPeriod ?PLACE ?PERIOD ?AMOUNT) means that at the GeographicArea ?PLACE, and during the TimeDuration ?PERIOD, the average daily precipitation was ?AMOUNT.") | Weather.kif 848-851 | |
| (domain averagePrecipitationForPeriod 1 GeographicArea) | Weather.kif 844-844 | The number 1 argument of average precipitation for period is an instance of geographic area |
| (domain averagePrecipitationForPeriod 2 TimeDuration) | Weather.kif 845-845 | The number 2 argument of average precipitation for period is an instance of time duration |
| (domain averagePrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 846-846 | The number 3 argument of average precipitation for period is an instance of constant quantity |
| (instance averagePrecipitationForPeriod TernaryPredicate) | Weather.kif 843-843 | average precipitation for period is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage averagePrecipitationForPeriod "%1 %n{不是} 對於 %3 在 %2 週期的 average 沉積") | domainEnglishFormat.kif 232-232 | |
| (format ChineseTraditionalLanguage averagePrecipitationForPeriod "%1 %n{不是} 對於 %3 在 %2 週期的 average 沉積") | domainEnglishFormat.kif 231-231 | |
| (format EnglishLanguage averagePrecipitationForPeriod "%1 %n{doesn't} average precipitation for period %2 for %3") | domainEnglishFormat.kif 230-230 | |
| (termFormat ChineseLanguage averagePrecipitationForPeriod "期间平均降水量") | domainEnglishFormat.kif 9361-9361 | |
| (termFormat ChineseTraditionalLanguage averagePrecipitationForPeriod "期間平均降水量") | domainEnglishFormat.kif 9360-9360 | |
| (termFormat EnglishLanguage averagePrecipitationForPeriod "average precipitation for period") | domainEnglishFormat.kif 9359-9359 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners