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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CelsiusDegree
CelsiusDegree(celsius degree)
C, Celsius_scale, 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。"')

chinese_format.kif 2561-2562
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 6673-6675
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__CelsiusDegree,s__SystemeInternationalUnit)

s__instance(s__SystemeInternationalUnit,s__SetOrClass)

Merge.kif 6671-6671 Celsius degree is an instance of systeme international unit
s__instance(s__UnitOfTemperature,s__SetOrClass)

s__instance(s__CelsiusDegree,s__UnitOfTemperature)

Merge.kif 6670-6670 Celsius degree is an instance of UnitOfTemperature

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


s__termFormat(s__ChineseLanguage,s__CelsiusDegree,'"摄氏度"')

domainEnglishFormat.kif 13639-13639
s__termFormat(s__ChineseTraditionalLanguage,s__CelsiusDegree,'"攝氏度"')

domainEnglishFormat.kif 13638-13638
s__termFormat(s__EnglishLanguage,s__CelsiusDegree,'"celsius degree"')

domainEnglishFormat.kif 13637-13637

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


( ! [V__MO,V__AREA,V__TEMP] :
   ((s__instance(V__MO,s__TimeDuration) &
       s__instance(V__MO,s__SetOrClass) &
       s__instance(V__TEMP,s__TemperatureMeasure))
     =>
     (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(n__18,s__CelsiusDegree)))
=>
s__instance(V__AREA,s__SubtropicalDesertClimateZone) )
)

Geography.kif 1352-1358
( ! [V__MO,V__AREA,V__TEMP] :
   ((s__instance(V__MO,s__TimeDuration) &
       s__instance(V__MO,s__SetOrClass) &
       s__instance(V__TEMP,s__TemperatureMeasure))
     =>
     (s__instance(V__AREA,s__GeographicArea) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP)
     &
     s__greaterThan(s__MeasureFn(n__10,s__CelsiusDegree),V__TEMP))
=>
s__instance(V__AREA,s__PolarClimateZone) )
)

Geography.kif 1530-1536
( ! [V__ICE,V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__instance(V__ICE,s__Ice) &
       s__measure(V__ICE,s__MeasureFn(V__NUMBER,s__CelsiusDegree)))
   =>
   s__lessThanOrEqualTo(V__NUMBER,n__0)
)
)

Mid-level-ontology.kif 8661-8665
( ! [V__A,V__D,V__W,V__M] :
   (s__instance(V__D,s__RealNumber) =>
     (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(n__32,V__D)
)
)

Cars.kif 1224-1233

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


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

Geography.kif 1486-1491
( ! [V__MO,V__AREA,V__TEMP] :
   ((s__instance(V__MO,s__TimeDuration) &
       s__instance(V__MO,s__SetOrClass) &
       s__instance(V__TEMP,s__TemperatureMeasure))
     =>
     (s__instance(V__AREA,s__PolarClimateZone) &
       s__subclass(V__MO,s__Month) &
       s__averageTemperatureForPeriod(V__AREA,V__MO,V__TEMP))
   =>
   s__greaterThan(s__MeasureFn(n__10,s__CelsiusDegree),V__TEMP)
)
)

Geography.kif 1523-1528
No TPTP formula. May not be expressible in strict first order. Geography.kif 1551-1556
( ! [V__MO,V__AREA,V__TEMP] :
   ((s__instance(V__MO,s__TimeDuration) &
       s__instance(V__MO,s__SetOrClass) &
       s__instance(V__TEMP,s__TemperatureMeasure))
     =>
     (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(n__18,s__CelsiusDegree))
)
)

Geography.kif 1360-1365
( ! [V__MO,V__AREA,V__TEMP] :
   ((s__instance(V__MO,s__TimeDuration) &
       s__instance(V__MO,s__SetOrClass) &
       s__instance(V__TEMP,s__TemperatureMeasure))
     =>
     (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(n___3,s__CelsiusDegree))
)
)

Geography.kif 1393-1398
( ! [V__MO,V__AREA,V__TEMP] :
   ((s__instance(V__MO,s__TimeDuration) &
       s__instance(V__MO,s__SetOrClass) &
       s__instance(V__TEMP,s__TemperatureMeasure))
     =>
     (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(n__18,s__CelsiusDegree))
)
)

Geography.kif 1276-1282
( ! [V__AREA] :
   (s__instance(V__AREA,s__ColdClimateZone) =>
     ( ? [V__MO, V__AMOUNT] :
       ((s__instance(V__MO,s__TimeDuration) &
           s__instance(V__MO,s__SetOrClass) &
           s__instance(V__AMOUNT,s__TemperatureMeasure) &
           (s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
           &
           s__lessThan(V__AMOUNT,s__MeasureFn(n___3,s__CelsiusDegree))))))
)
)

Geography.kif 1493-1499
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     ( ? [V__MO, V__AMOUNT] :
       ((s__instance(V__MO,s__TimeDuration) &
           s__instance(V__MO,s__SetOrClass) &
           s__instance(V__AMOUNT,s__TemperatureMeasure) &
           (s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
           &
           s__greaterThan(V__AMOUNT,s__MeasureFn(n__10,s__CelsiusDegree))))))
)
)

Geography.kif 1385-1391
( ! [V__AREA] :
   (s__instance(V__AREA,s__TemperateClimateZone) =>
     ( ? [V__MO, V__AMOUNT] :
       ((s__instance(V__MO,s__TimeDuration) &
           s__instance(V__MO,s__SetOrClass) &
           s__instance(V__AMOUNT,s__TemperatureMeasure) &
           (s__subclass(V__MO,s__Month) &
             s__averageTemperatureForPeriod(V__AREA,V__MO,V__AMOUNT)
           &
           s__greaterThanOrEqualTo(V__AMOUNT,s__MeasureFn(n___3,s__CelsiusDegree))
         &
         s__lessThanOrEqualTo(V__AMOUNT,s__MeasureFn(n__18,s__CelsiusDegree))))))
)
)

Geography.kif 1400-1407

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


( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__DivisionFn(s__SubtractionFn(V__NUMBER,n__32)
    ,n__1_8)
  ,s__FahrenheitDegree))
)
)

Merge.kif 6681-6683 A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s)
( ! [V__NUMBER] :
   (s__instance(V__NUMBER,s__RealNumber) =>
     (s__MeasureFn(V__NUMBER,s__CelsiusDegree) = s__MeasureFn(s__SubtractionFn(V__NUMBER,n__273_15)
    ,s__KelvinDegree))
   )
)

Merge.kif 6677-6679 A real number celsius degree(s) is equal to (the real number and 273.15) kelvin degree(s)


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