![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| totalPrecipitationForPeriod |
| appearance as argument number 1 |
|
|
| (instance totalPrecipitationForPeriod TernaryPredicate) | Weather.kif 1908-1908 | total precipitation for period is an instance of ternary predicate |
| (domain totalPrecipitationForPeriod 1 GeographicArea) | Weather.kif 1909-1909 | The number 1 argument of total precipitation for period is an instance of geographic area |
| (domain totalPrecipitationForPeriod 2 TimeDuration) | Weather.kif 1910-1910 | The number 2 argument of total precipitation for period is an instance of time duration |
| (domain totalPrecipitationForPeriod 3 ConstantQuantity) | Weather.kif 1911-1911 | The number 3 argument of total precipitation for period is an instance of constant quantity |
| (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 1912-1915 | The number 3 argument of total precipitation for period is an instance of constant quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage totalPrecipitationForPeriod "%1 is %n total precipitation for period %2 for %3") | domainEnglishFormat.kif 2525-2525 | |
| (format ChineseTraditionalLanguage totalPrecipitationForPeriod "%1 %n 是 對於 %3 在週期 %2 的 total 降雨量") | domainEnglishFormat.kif 2526-2526 | |
| (format ChineseLanguage totalPrecipitationForPeriod "%1 %n 是 对于 %3 在周期 %2 的 total 降雨量") | domainEnglishFormat.kif 2527-2527 | |
| (termFormat EnglishLanguage totalPrecipitationForPeriod "total precipitation for period") | domainEnglishFormat.kif 58609-58609 | |
| (termFormat ChineseTraditionalLanguage totalPrecipitationForPeriod "期間總降水量") | domainEnglishFormat.kif 58610-58610 | |
| (termFormat ChineseLanguage totalPrecipitationForPeriod "期间总降水量") | domainEnglishFormat.kif 58611-58611 |