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
(domain averageTemperatureForPeriod 2 TimeInterval) Weather.kif 970-970
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 971-971
(instance averageTemperatureForPeriod TernaryPredicate) Weather.kif 968-968

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

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


(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))		 Geography.kif 1516-1524
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 1364-1371
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 1413-1419
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 1569-1576

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 1527-1535
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan 10.0 ?TEMP))))		 Geography.kif 1560-1567
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0))))		 Geography.kif 1373-1380
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))		 Geography.kif 1403-1410
(=>
    (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 1422-1437
(=>
    (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 1279-1292


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