Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CelsiusDegree
CelsiusDegree
C, Celsius_scale, celsius_degree, centigrade_scale, degree_Celsius, degree_centigrade, international_scale, standard_temperature

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


s__documentation(s__CelsiusDegree,s__ChineseLanguage,'这是一个 TemperatureMeasure,水的冰点和沸点 分别是 0 CelsiusDegree 和 100 CelsiusDegree。')

Merge.kif 7250-7251
s__documentation(s__CelsiusDegree,s__EnglishLanguage,'A TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 CelsiusDegrees and 100 CelsiusDegrees.')

Merge.kif 7247-7249
s__externalImage(s__CelsiusDegree,'http://upload.wikimedia.org/wikipedia/commons/4/40/Grau_Celsius.PNG')

pictureList.kif 8412-8412
s__externalImage(s__CelsiusDegree,'http://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Raumthermometer_Fahrenheit%2BCelsius.jpg/597px-Raumthermometer_Fahrenheit%2BCelsius.jpg')

pictureList.kif 9046-9046
s__instance(s__SystemeInternationalUnit,s__SetOrClass)

Merge.kif 7246-7246
s__instance(s__UnitOfTemperature,s__SetOrClass)

Merge.kif 7245-7245

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


s__termFormat(s__EnglishLanguage,s__CelsiusDegree,'celsius degree')

domainEnglishFormat.kif 2707-2707

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


( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__DesertClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
=>
s__instance(V__AREA,s__SubtropicalDesertClimateZone))
)

Geography.kif 1340-1346
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__GeographicArea) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
=>
s__instance(V__AREA,s__PolarClimateZone))
)

Geography.kif 1518-1524
( ! [V__ICE,V__NUMBER] :
   ((s__instance(V__ICE,s__Ice) &
       s__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree)))
   =>
   s__lessThanOrEqualTo(V__NUMBER,0))
)

Mid-level-ontology.kif 8658-8662
( ! [V__W,V__M,V__A,V__D] :
   ((s__instance(V__W,s__Water) &
       s__instance(V__M,s__Mixture) &
       s__part(V__W,V__M)
     &
     s__instance(V__A,s__Antifreeze) &
     s__part(V__A,V__M)
   &
   s__attribute(V__M,s__Solid) &
   s__measure(V__M,s__MeasureFn(V__D,s__CelsiusDegree)))
=>
s__greaterThan(32,V__D))
)

Cars.kif 1223-1232

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


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

Geography.kif 1474-1479
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__PolarClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(s__MeasureFn(10,s__CelsiusDegree),V__TEMP))
)

Geography.kif 1511-1516
No TPTP formula. May not be expressible in strict first order. Geography.kif 1539-1544
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__SubtropicalDesertClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
)

Geography.kif 1348-1353
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__TemperateClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThanOrEqualTo(V__TEMP,s__MeasureFn(-3,s__CelsiusDegree)))
)

Geography.kif 1381-1386
( ! [V__AREA,V__MO,V__TEMP] :
   ((s__instance(V__AREA,s__TropicalClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__instance(V__AREA,s__GeographicArea) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(V__TEMP,s__MeasureFn(18,s__CelsiusDegree)))
)

Geography.kif 1264-1270
( ! [V__AREA] :
   (s__instance(V__AREA,s__ColdClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__lessThan(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree)))))
)

Geography.kif 1481-1487
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__greaterThan(V__AMOUNT,s__MeasureFn(10,s__CelsiusDegree)))))
)

Geography.kif 1373-1379
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     (? [V__MO,V__AMOUNT] :
       (s__subclass(V__MO,s__Month) &
         s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
       &
       s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(-3,s__CelsiusDegree))
     &
     s__lessThanOrEqualTo(V__AMOUNT,s__MeasureFn(18,s__CelsiusDegree)))))
)

Geography.kif 1388-1395

statement
-------------------------


( ! [V__NUMBER] :
   (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__DivisionFn(s__SubtractionFn(V__NUMBER,32)
  ,1.8)
,s__FahrenheitDegree))
)

Merge.kif 7257-7259
( ! [V__NUMBER] :
   (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__SubtractionFn(V__NUMBER,273.15)
  ,s__KelvinDegree))
)

Merge.kif 7253-7255


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