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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowestTemperatureForPeriod

Sigma KEE - lowestTemperatureForPeriod
lowestTemperatureForPeriod

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


(documentation lowestTemperatureForPeriod EnglishLanguage "(lowestTemperatureForPeriod ?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 997-1002
(domain lowestTemperatureForPeriod 1 GeographicArea) Weather.kif 993-993 Il numero 1 argomenti di lowestTemperatureForPeriod è un istanza di AreaGeografica
(domain lowestTemperatureForPeriod 2 TimeInterval) Weather.kif 994-994 Il numero 2 argomenti di lowestTemperatureForPeriod è un istanza di IntervalloTemporale
(domain lowestTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 995-995 Il numero 3 argomenti di lowestTemperatureForPeriod è un istanza di MisuraDiTemperatura
(instance lowestTemperatureForPeriod TernaryPredicate) Weather.kif 992-992 lowestTemperatureForPeriod è un' istanza di PredicatoTernario

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 35165-35165
(termFormat ChineseTraditionalLanguage lowestTemperatureForPeriod "期間最低溫度") domainEnglishFormat.kif 35164-35164
(termFormat EnglishLanguage lowestTemperatureForPeriod "lowest temperature for period") domainEnglishFormat.kif 35163-35163


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 is open source software produced by Articulate Software and its partners