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 TimeDuration ?PERIOD, the average daily temperature was ?AMOUNT. Temperature may be expressed in some UnitOfTemperature, including CelsiusDegree and FahrenheitDegree, among others.") Weather.kif 601-606
(domain averageTemperatureForPeriod 1 GeographicArea) Weather.kif 597-597 averageTemperatureForPeriod の数値 1 引数は 地理的地域instance では %n
(domain averageTemperatureForPeriod 2 TimeDuration) Weather.kif 598-598 averageTemperatureForPeriod の数値 2 引数は 時間分instance では %n
(domain averageTemperatureForPeriod 3 TemperatureMeasure) Weather.kif 599-599 averageTemperatureForPeriod の数値 3 引数は 温度測定instance では %n
(instance averageTemperatureForPeriod TernaryPredicate) Weather.kif 596-596 averageTemperatureForPeriod3進述語instance では %n

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 9373-9373 termFormat ChineseLanguage, averageTemperatureForPeriod and "期间平均温度"
(termFormat ChineseTraditionalLanguage averageTemperatureForPeriod "期間平均溫度") domainEnglishFormat.kif 9372-9372 termFormat ChineseTraditionalLanguage, averageTemperatureForPeriod and "期間平均溫度"
(termFormat EnglishLanguage averageTemperatureForPeriod "average temperature for period") domainEnglishFormat.kif 9371-9371 termFormat EnglishLanguage, averageTemperatureForPeriod and "average temperature for period"

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


(=>
    (and
        (instance ?AREA ColdClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1474-1479
(=>
    (and
        (instance ?AREA DesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan ?TEMP
            (MeasureFn 18 CelsiusDegree)))
    (instance ?AREA SubtropicalDesertClimateZone))
Geography.kif 1340-1346
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP)
        (greaterThan
            (MeasureFn 10 CelsiusDegree) ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1518-1524
(=>
    (and
        (instance ?AREA PolarClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan
        (MeasureFn 10 CelsiusDegree) ?TEMP))
Geography.kif 1511-1516
(=>
    (and
        (instance ?AREA SubtropicalDesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1348-1353
(=>
    (and
        (instance ?AREA TemperateClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThanOrEqualTo ?TEMP
        (MeasureFn -3 CelsiusDegree)))
Geography.kif 1381-1386
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO ?TEMP))
    (greaterThan ?TEMP
        (MeasureFn 18 CelsiusDegree)))
Geography.kif 1264-1270

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


(=>
    (instance ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (lessThan ?AMOUNT
                (MeasureFn -3 CelsiusDegree)))))
Geography.kif 1481-1487
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThan ?AMOUNT
                (MeasureFn 10 CelsiusDegree)))))
Geography.kif 1373-1379
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO ?AMOUNT)
            (greaterThanOrEqualTo ?AMOUNT
                (MeasureFn -3 CelsiusDegree))
            (lessThanOrEqualTo ?AMOUNT
                (MeasureFn 18 CelsiusDegree)))))
Geography.kif 1388-1395


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners