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
-------------------------


s__documentation(s__averageTemperatureForPeriod__m,s__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 989-994
s__domain(s__averageTemperatureForPeriod__m,n__1,s__GeographicArea)

 Weather.kif 985-985 The number 1 argument of average temperature for period is an instance of geographic area
s__domain(s__averageTemperatureForPeriod__m,n__2,s__TimeDuration)

 Weather.kif 986-986 The number 2 argument of average temperature for period is an instance of time duration
s__domain(s__averageTemperatureForPeriod__m,n__3,s__TemperatureMeasure)

 Weather.kif 987-987 The number 3 argument of average temperature for period is an instance of temperature measure
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__averageTemperatureForPeriod__m,s__TernaryPredicate)

 Weather.kif 984-984 average temperature for period is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__averageTemperatureForPeriod__m,'"1 %n{不是} 对于 %3 在 %2 周期的 average 温度"')

 domainEnglishFormat.kif 240-240
s__format(s__ChineseTraditionalLanguage,s__averageTemperatureForPeriod__m,'"1 %n{不是} 對於 %3 在 %2 週期的 average 溫度"')

 domainEnglishFormat.kif 239-239
s__format(s__EnglishLanguage,s__averageTemperatureForPeriod__m,'"%1 %n{doesnt} average temperature for period %2 for %3"')

 domainEnglishFormat.kif 238-238
s__termFormat(s__ChineseLanguage,s__averageTemperatureForPeriod__m,'"期间平均温度"')

 domainEnglishFormat.kif 9369-9369
s__termFormat(s__ChineseTraditionalLanguage,s__averageTemperatureForPeriod__m,'"期間平均溫度"')

 domainEnglishFormat.kif 9368-9368
s__termFormat(s__EnglishLanguage,s__averageTemperatureForPeriod__m,'"average temperature for period"')

 domainEnglishFormat.kif 9367-9367

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


( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__ColdClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(n__10,V__TEMP)))))
)
)

 Geography.kif 1499-1505
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__DesertClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree))
           &
           s__greaterThan(V__TEMP,n__18))
       =>
       (s__instance(V__AREA,s__SubtropicalDesertClimateZone)))))
)
)

 Geography.kif 1360-1367
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree))
           &
           s__greaterThan(n__10,V__TEMP))
       =>
       (s__instance(V__AREA,s__PolarClimateZone)))))
)
)

 Geography.kif 1546-1553
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__PolarClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(n__10,V__TEMP)))))
)
)

 Geography.kif 1538-1544
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__SubtropicalDesertClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(V__TEMP,n__18)))))
)
)

 Geography.kif 1369-1375
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__TemperateClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThanOrEqualTo(V__TEMP,n___3)))))
)
)

 Geography.kif 1404-1410
( ! [V__MO,V__AREA,V__TEMP] :
   (((s__instance(V__MO,s__Class) &
         s__instance(V__MO,s__TimeDuration) &
         s__instance(V__TEMP,s__RealNumber))
       =>
       (((s__instance(V__AREA,s__TropicalClimateZone) &
             s__subclass(V__MO,s__Month) &
             s__instance(V__AREA,s__GeographicArea) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__TEMP,s__CelsiusDegree)))
         =>
         (s__greaterThan(V__TEMP,n__18)))))
)
)

 Geography.kif 1281-1288

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


( ! [V__AREA] :
   ((s__instance(V__AREA,s__ColdClimateZone) =>
       (( ? [V__MO, V__AMOUNT] :
           ((s__instance(V__MO,s__Class) &
               s__instance(V__MO,s__TimeDuration) &
               s__instance(V__AMOUNT,s__RealNumber) &
               (s__subclass(V__MO,s__Month) &
                 s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__CelsiusDegree))
               &
               s__lessThan(V__AMOUNT,n___3)))))))
)
)

 Geography.kif 1507-1514
( ! [V__AREA] :
   ((s__instance(V__AREA,s__TemperateClimateZone) =>
       (( ? [V__MO, V__AMOUNT] :
           ((s__instance(V__MO,s__Class) &
               s__instance(V__MO,s__TimeDuration) &
               s__instance(V__AMOUNT,s__RealNumber) &
               (s__subclass(V__MO,s__Month) &
                 s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__CelsiusDegree))
               &
               s__greaterThan(V__AMOUNT,n__10)))))))
)
)

 Geography.kif 1395-1402
( ! [V__AREA] :
   ((s__instance(V__AREA,s__TemperateClimateZone) =>
       (( ? [V__MO, V__AMOUNT] :
           ((s__instance(V__MO,s__Class) &
               s__instance(V__MO,s__TimeDuration) &
               s__instance(V__AMOUNT,s__RealNumber) &
               (s__subclass(V__MO,s__Month) &
                 s__averageTemperatureForPeriod(V__AREA,V__MO,s__MeasureFn(V__AMOUNT,s__CelsiusDegree))
               &
               s__greaterThanOrEqualTo(V__AMOUNT,n___3)
             &
             s__lessThanOrEqualTo(V__AMOUNT,n__18)))))))
)
)

 Geography.kif 1412-1420


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