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


KB Term:  Term intersection
English Word: 

Sigma KEE - averageTemperatureForPeriod
averageTemperatureForPeriod

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


(instance averageTemperatureForPeriod TernaryPredicate) Weather.kif 1661-1661 average temperature for period is an instance of ternary predicate
(domain averageTemperatureForPeriod 1 GeographicArea) Weather.kif 1662-1662 The number 1 argument of average temperature for period is an instance of geographic area
(domain averageTemperatureForPeriod 2 TimeInterval) Weather.kif 1663-1663 The number 2 argument of average temperature for period is an instance of timeframe
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 1664-1664 The number 3 argument of average temperature for period is an instance of temperature measure
(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 1666-1671 The number 3 argument of average temperature for period is an instance of temperature measure

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


(format EnglishLanguage averageTemperatureForPeriod "%1 %n{doesn't} average temperature for period %2 for %3") domainEnglishFormat.kif 238-238
(format ChineseTraditionalLanguage averageTemperatureForPeriod "1 %n{不是} 對於 %3 在 %2 週期的 average 溫度") domainEnglishFormat.kif 239-239
(format ChineseLanguage averageTemperatureForPeriod "1 %n{不是} 对于 %3 在 %2 周期的 average 温度") domainEnglishFormat.kif 240-240
(termFormat EnglishLanguage averageTemperatureForPeriod "average temperature for period") domainEnglishFormat.kif 9358-9358
(termFormat ChineseTraditionalLanguage averageTemperatureForPeriod "期間平均溫度") domainEnglishFormat.kif 9359-9359
(termFormat ChineseLanguage averageTemperatureForPeriod "期间平均温度") domainEnglishFormat.kif 9360-9360

antecedent
-------------------------


(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 2827-2834 If desert climate zone is a climate type in area of X, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and Z is greater than 18.0, then subtropical desert climate zone is a climate type in area of X
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 2876-2882 If temperate climate zone is a climate type in area of X, Y is an instance of month, and X average temperature for period Y for Z celsius degree(s), then Z is greater than or equal to -3.0
(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))		 Geography.kif 2979-2987 If cold climate zone is a climate type in area of X and For all TimeInterval Y: Y is an instance of month and X average temperature for period Y for Z celsius degree(s), then 10.0 is greater than Z
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 3032-3039 If X is an instance of geographic area, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and 10.0 is greater than Z, then polar climate zone is a climate type in area of X

consequent
-------------------------


(=>
    (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 2742-2755 If tropical climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0 and there don't exist W and V such that X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0))))		 Geography.kif 2836-2843 If subtropical desert climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z 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 2866-2873 If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z 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 2885-2900 If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than or equal to -3.0 and Z is less than or equal to 18.0 and there don't exist W and V such that W is an instance of month and X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (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 2990-2998 If cold climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and Y is a part of winter season and X average temperature for period Y for Z celsius degree(s) and Z 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 3023-3030 If polar climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and 10.0 is greater than Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners