averageTemperatureForPeriod |
appearance as argument number 1 |
(documentation averageTemperatureForPeriod EnglishLanguage "(averageTemperatureForPeriod ?PLACE ?PERIOD ?AMOUNT) means that at the GeographicArea ?PLACE, and during the TimeInterval ?PERIOD, the average daily temperature was ?AMOUNT. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others.") | Weather.kif 989-994 | |
(domain averageTemperatureForPeriod 1 GeographicArea) | Weather.kif 985-985 | |
(domain averageTemperatureForPeriod 2 TimeInterval) | Weather.kif 986-986 | |
(domain averageTemperatureForPeriod 3 TemperatureMeasure) | Weather.kif 987-987 | |
(instance averageTemperatureForPeriod TernaryPredicate) | Weather.kif 984-984 |
appearance as argument number 2 |
(format ChineseLanguage averageTemperatureForPeriod "1 %n{不是} 对于 %3 在 %2 周期的 average 温度") | domainEnglishFormat.kif 240-240 | |
(format ChineseTraditionalLanguage averageTemperatureForPeriod "1 %n{不是} 對於 %3 在 %2 週期的 average 溫度") | domainEnglishFormat.kif 239-239 | |
(format EnglishLanguage averageTemperatureForPeriod "%1 %n{doesn't} average temperature for period %2 for %3") | domainEnglishFormat.kif 238-238 | |
(termFormat ChineseLanguage averageTemperatureForPeriod "期间平均温度") | domainEnglishFormat.kif 9360-9360 | |
(termFormat ChineseTraditionalLanguage averageTemperatureForPeriod "期間平均溫度") | domainEnglishFormat.kif 9359-9359 | |
(termFormat EnglishLanguage averageTemperatureForPeriod "average temperature for period") | domainEnglishFormat.kif 9358-9358 |
antecedent |
(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP)) |
Geography.kif 1522-1530 | |
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone)) |
Geography.kif 1370-1377 | |
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0)) |
Geography.kif 1419-1425 | |
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone)) |
Geography.kif 1575-1582 |
consequent |