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


(documentation CelsiusDegree ChineseLanguage "这是一个 TemperatureMeasure,水的冰点和沸点 分别是 0 CelsiusDegree 和 100 CelsiusDegree。") chinese_format.kif 2561-2562
(documentation CelsiusDegree EnglishLanguage "A TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 CelsiusDegrees and 100 CelsiusDegrees.") Merge.kif 6724-6726
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Grau_Celsius.PNG") pictureList.kif 8412-8412
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px-Raumthermometer_Fahrenheit%2BCelsius.jpg") pictureList.kif 9046-9046
(instance CelsiusDegree SystemeInternationalUnit) Merge.kif 6722-6722 Celsius degree is an instance of systeme international unit
(instance CelsiusDegree UnitOfTemperature) Merge.kif 6721-6721 Celsius degree is an instance of UnitOfTemperature

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


(termFormat ChineseLanguage CelsiusDegree "摄氏度") domainEnglishFormat.kif 13714-13714
(termFormat ChineseTraditionalLanguage CelsiusDegree "攝氏度") domainEnglishFormat.kif 13713-13713
(termFormat EnglishLanguage CelsiusDegree "celsius degree") domainEnglishFormat.kif 13712-13712

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


(=>
    (and
        (instance ?AREA ColdClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThan 10 ?TEMP))
Geography.kif 1499-1505
(=>
    (and
        (instance ?AREA DesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18))
    (instance ?AREA SubtropicalDesertClimateZone))
Geography.kif 1360-1367
(=>
    (and
        (instance ?AREA GeographicArea)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10 ?TEMP))
    (instance ?AREA PolarClimateZone))
Geography.kif 1546-1553
(=>
    (and
        (instance ?AREA PolarClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThan 10 ?TEMP))
Geography.kif 1538-1544
(=>
    (and
        (instance ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10 ?TEMP)))
Geography.kif 1568-1574
(=>
    (and
        (instance ?AREA SubtropicalDesertClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThan ?TEMP 18))
Geography.kif 1369-1375
(=>
    (and
        (instance ?AREA TemperateClimateZone)
        (subclass ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3))
Geography.kif 1404-1410
(=>
    (and
        (instance ?AREA TropicalClimateZone)
        (subclass ?MO Month)
        (instance ?AREA GeographicArea)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThan ?TEMP 18))
Geography.kif 1281-1288
(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0))
Mid-level-ontology.kif 8642-8646
(=>
    (and
        (instance ?W Water)
        (instance ?M Mixture)
        (part ?W ?M)
        (instance ?A Antifreeze)
        (part ?A ?M)
        (attribute ?M Solid)
        (measure ?M
            (MeasureFn ?D CelsiusDegree)))
    (greaterThan 32 ?D))
Cars.kif 1233-1242

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


(=>
    (instance ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (lessThan ?AMOUNT -3))))
Geography.kif 1507-1514
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10))))
Geography.kif 1395-1402
(=>
    (instance ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (subclass ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThanOrEqualTo ?AMOUNT -3)
            (lessThanOrEqualTo ?AMOUNT 18))))
Geography.kif 1412-1420

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


(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32) 1.8) FahrenheitDegree))
Merge.kif 6732-6734 A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s)
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (SubtractionFn ?NUMBER 273.15) KelvinDegree))
Merge.kif 6728-6730 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 3.0 is open source software produced by Articulate Software and its partners