| appearance as argument number 1 |
|
| (documentation lowestTemperatureForPeriod EnglishLanguage "(lowestTemperatureForPeriod ?PLACE ?PERIOD ?AMOUNT) means that at the GeographicArea ?PLACE, during the TimeDuration ?PERIOD, the highest temperature was ?AMOUNT. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others.") | Weather.kif 624-629 | |
| (domain lowestTemperatureForPeriod 1 GeographicArea) | Weather.kif 620-620 | domain lowestTemperatureForPeriod, 1 and GeographicArea |
| (domain lowestTemperatureForPeriod 2 TimeDuration) | Weather.kif 621-621 | domain lowestTemperatureForPeriod, 2 and TimeDuration |
| (domain lowestTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 622-622 | domain lowestTemperatureForPeriod, 3 and TemperatureMeasure |
| (instance lowestTemperatureForPeriod TernaryPredicate) | Weather.kif 619-619 | instance lowestTemperatureForPeriod and TernaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage lowestTemperatureForPeriod "%1 %n{不是} 对于 %3 在周期 %2 的 lowest 温度") | domainEnglishFormat.kif 1587-1587 | |
| (format ChineseTraditionalLanguage lowestTemperatureForPeriod "%1 %n{不是} 對於 %3 在週期 %2 的 lowest 溫度") | domainEnglishFormat.kif 1586-1586 | |
| (format EnglishLanguage lowestTemperatureForPeriod "%1 %n{doesn't} lowest temperature for period %2 for %3") | domainEnglishFormat.kif 1585-1585 | |
| (termFormat ChineseLanguage lowestTemperatureForPeriod "期间最低温度") | domainEnglishFormat.kif 35080-35080 | |
| (termFormat ChineseTraditionalLanguage lowestTemperatureForPeriod "期間最低溫度") | domainEnglishFormat.kif 35079-35079 | |
| (termFormat EnglishLanguage lowestTemperatureForPeriod "lowest temperature for period") | domainEnglishFormat.kif 35078-35078 |
|
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