averageTemperatureForPeriod - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - averageTemperatureForPeriod

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 973-978
(domain averageTemperatureForPeriod 1 GeographicArea)	Weather.kif 969-969	The number 1 argument of average temperature for period is an instance of geographic area
(domain averageTemperatureForPeriod 2 TimeInterval)	Weather.kif 970-970	The number 2 argument of average temperature for period is an instance of time interval
(domain averageTemperatureForPeriod 3 TemperatureMeasure)	Weather.kif 971-971	The number 3 argument of average temperature for period is an instance of temperature measure
(instance averageTemperatureForPeriod TernaryPredicate)	Weather.kif 968-968	average temperature for period is an instance of ternary predicate

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 9368-9368
(termFormat ChineseTraditionalLanguage averageTemperatureForPeriod "期間平均溫度")	domainEnglishFormat.kif 9367-9367
(termFormat EnglishLanguage averageTemperatureForPeriod "average temperature for period")	domainEnglishFormat.kif 9366-9366

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	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1370-1377	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1419-1425	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 1575-1582	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area

consequent

(=> (climateTypeInArea ?AREA ColdClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (temporalPart ?MO WinterSeason) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (lessThan ?AMOUNT -3.0))))	Geography.kif 1533-1541	If cold climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the time interval is a part of winter season and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is less than -3.0
(=> (climateTypeInArea ?AREA PolarClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP))))	Geography.kif 1566-1573	If polar climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and 10.0 is greater than the real number
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0))))	Geography.kif 1379-1386	If subtropical desert climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 18.0
(=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThan ?AMOUNT 10.0))))	Geography.kif 1409-1416	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 10.0
(=> (climateTypeInArea ?AREA TemperateClimateZone) (exists (?MO ?AMOUNT) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?AMOUNT CelsiusDegree)) (greaterThanOrEqualTo ?AMOUNT -3.0) (lessThanOrEqualTo ?AMOUNT 18.0) (not (exists (?M2 ?MT2) (and (instance ?M2 Month) (averageTemperatureForPeriod ?AREA ?M2 (MeasureFn ?MT2 CelsiusDegree)) (lessThan ?MT2 ?AMOUNT)))))))	Geography.kif 1428-1443	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (climateTypeInArea ?AREA TropicalClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0) (not (exists (?M2 ?MT2) (and (averageTemperatureForPeriod ?AREA ?M2 (MeasureFn ?MT2 CelsiusDegree)) (lessThan ?MT2 ?TEMP)))))))	Geography.kif 1285-1298	If tropical climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 18.0 and there don't exist another time interval and another real number such that the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number

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