Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

  highestTemperatureForPeriod

Sigma KEE - highestTemperatureForPeriod
highestTemperatureForPeriod

appearance as argument number 1
-------------------------


(instance highestTemperatureForPeriod TernaryPredicate) Weather.kif 1673-1673 highest temperature for period is an instance of ternary predicate
(domain highestTemperatureForPeriod 1 GeographicArea) Weather.kif 1674-1674 The number 1 argument of highest temperature for period is an instance of geographic area
(domain highestTemperatureForPeriod 2 TimeInterval) Weather.kif 1675-1675 The number 2 argument of highest temperature for period is an instance of timeframe
(domain highestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 1676-1676 The number 3 argument of highest temperature for period is an instance of temperature measure
(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 1678-1683 The number 3 argument of highest temperature for period is an instance of temperature measure

appearance as argument number 2
-------------------------


(format EnglishLanguage highestTemperatureForPeriod "%1 is %n highest temperature for period %2 for %3") domainEnglishFormat.kif 1183-1183
(format ChineseTraditionalLanguage highestTemperatureForPeriod "%1 %n 是 對於 %3 在週期 %2 的 highest 溫度") domainEnglishFormat.kif 1184-1184
(format ChineseLanguage highestTemperatureForPeriod "%1 %n 是 对于 %3 在周期 %2 的 highest 温度") domainEnglishFormat.kif 1185-1185
(termFormat EnglishLanguage highestTemperatureForPeriod "highest temperature for period") domainEnglishFormat.kif 28109-28109
(termFormat ChineseTraditionalLanguage highestTemperatureForPeriod "期間最高溫度") domainEnglishFormat.kif 28110-28110
(termFormat ChineseLanguage highestTemperatureForPeriod "期间最高温度") domainEnglishFormat.kif 28111-28111


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners