| 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 1223-1226 | |
| (domain averagePrecipitationForPeriod 1 GeographicArea) | Weather.kif 1220-1220 | averagePrecipitationForPeriod の数値 1 引数は 地理的地域 の instance では %n |
| (domain averagePrecipitationForPeriod 2 TimeDuration) | Weather.kif 1221-1221 | averagePrecipitationForPeriod の数値 2 引数は 時間分 の instance では %n |
| (domain averagePrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 1222-1222 | averagePrecipitationForPeriod の数値 3 引数は 一定量 の instance では %n |
| (instance averagePrecipitationForPeriod TernaryPredicate) | Weather.kif 1219-1219 | averagePrecipitationForPeriod は 3進述語 の instance では %n |
| 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 9348-9348 | |
| (termFormat ChineseTraditionalLanguage averagePrecipitationForPeriod "期間平均降水量") | domainEnglishFormat.kif 9347-9347 | |
| (termFormat EnglishLanguage averagePrecipitationForPeriod "average precipitation for period") | domainEnglishFormat.kif 9346-9346 |
|
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