| appearance as argument number 1 |
|
| (documentation highestTemperatureForPeriod EnglishLanguage "(highestTemperatureForPeriod ?PLACE ?PERIOD ?AMOUNT) means that at the GeographicArea ?PLACE, during the TimeInterval ?PERIOD, the highest temperature was ?AMOUNT. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others.") | Weather.kif 985-990 | |
| (domain highestTemperatureForPeriod 1 GeographicArea) | Weather.kif 981-981 | |
| (domain highestTemperatureForPeriod 2 TimeInterval) | Weather.kif 982-982 | |
| (domain highestTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 983-983 | |
| (instance highestTemperatureForPeriod TernaryPredicate) | Weather.kif 980-980 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage highestTemperatureForPeriod "%1 %n 是 对于 %3 在周期 %2 的 highest 温度") | domainEnglishFormat.kif 1185-1185 | |
| (format ChineseTraditionalLanguage highestTemperatureForPeriod "%1 %n 是 對於 %3 在週期 %2 的 highest 溫度") | domainEnglishFormat.kif 1184-1184 | |
| (format EnglishLanguage highestTemperatureForPeriod "%1 is %n highest temperature for period %2 for %3") | domainEnglishFormat.kif 1183-1183 | |
| (termFormat ChineseLanguage highestTemperatureForPeriod "期间最高温度") | domainEnglishFormat.kif 28136-28136 | |
| (termFormat ChineseTraditionalLanguage highestTemperatureForPeriod "期間最高溫度") | domainEnglishFormat.kif 28135-28135 | |
| (termFormat EnglishLanguage highestTemperatureForPeriod "highest temperature for period") | domainEnglishFormat.kif 28134-28134 |
|
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