Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  CelsiusDegree

 Sigma KEE - CelsiusDegree
CelsiusDegree(celsius degree)
C, Celsius_scale, centigrade_scale, degree_Celsius, degree_centigrade, international_scale, standard_temperature

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


(instance CelsiusDegree UnitOfTemperature) Merge.kif 7120-7120 Celsius degree is an instance of unit of temperature
(instance CelsiusDegree SystemeInternationalUnit) Merge.kif 7121-7121 Celsius degree is an instance of systeme international unit
(documentation CelsiusDegree EnglishLanguage "A TemperatureMeasure. The freezing point and the boiling point of water are, respectively, 0 CelsiusDegrees and 100 CelsiusDegrees.") Merge.kif 7123-7125 Celsius degree is an instance of systeme international unit
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Grau_Celsius.PNG") pictureList.kif 8409-8409 Celsius degree is an instance of systeme international unit
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px_Raumthermometer_Fahrenheit%2BCelsius.jpg") pictureList.kif 9040-9040 Celsius degree is an instance of systeme international unit

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


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

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


(=>
    (and
        (instance ?ICE Ice)
        (measure ?ICE
            (MeasureFn ?NUMBER CelsiusDegree)))
    (lessThanOrEqualTo ?NUMBER 0.0))		 Mid-level-ontology.kif 10352-10356 If X is an instance of ice and the measure of X is Y celsius degree(s), then Y is less than or equal to 0.0
(=>
    (and
        (instance ?W TapWater)
        (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 1157-1166 If All of the following hold: (1) X is an instance of tap water (2) Y is an instance of mixture (3) X is a part of Y (4) Z is an instance of antifreeze (5) Z is a part of Y (6) solid is an attribute of Y (7) the measure of Y is W celsius degree(s), then 32 is greater than W
(=>
    (and
        (instance ?FM FoamingMilk)
        (patient ?FM ?M)
        (instance ?M ProcessedMilk)
        (instance ?H Heating)
        (subProcess ?H ?FM)
        (measure ?M
            (MeasureFn ?T CelsiusDegree)))
    (approximateValue ?T 70.0))		 Food.kif 1185-1194 If All of the following hold: (1) X is an instance of foaming milk (2) Y is a patient of X (3) Y is an instance of processed milk (4) Z is an instance of heating (5) Z is a subprocess of X (6) the measure of Y is W celsius degree(s), then the approximate value of W is 70.0
(=>
    (and
        (instance ?A Americano)
        (part ?E ?A)
        (part ?W ?A)
        (instance ?E Espresso)
        (instance ?W DrinkingWater)
        (measure ?W
            (MeasureFn 90.0 CelsiusDegree))
        (mixtureRatio ?E ?W ?V1 ?V2 Liter))
    (and
        (approximateValue ?V1 0.03)
        (approximateValue ?V2 0.15)))		 Food.kif 1300-1311 If All of the following hold: (1) X is an instance of americano (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of potable water (6) the measure of Z is 90.0 celsius degree(s) (7) A Mixture containing W unit liter of Y and V unit liter of Z, then the approximate value of W is 0.03 and the approximate value of V is 0.15
(=>
    (and
        (climateTypeInArea ?AREA DesertClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan ?TEMP 18.0))
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone))		 Geography.kif 2827-2834 If desert climate zone is a climate type in area of X, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and Z is greater than 18.0, then subtropical desert climate zone is a climate type in area of X
(=>
    (and
        (climateTypeInArea ?AREA TemperateClimateZone)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree)))
    (greaterThanOrEqualTo ?TEMP -3.0))		 Geography.kif 2876-2882 If temperate climate zone is a climate type in area of X, Y is an instance of month, and X average temperature for period Y for Z celsius degree(s), then Z is greater than or equal to -3.0
(=>
    (and
        (climateTypeInArea ?AREA ColdClimateZone)
        (forall (?MO)
            (and
                (instance ?MO Month)
                (averageTemperatureForPeriod ?AREA ?MO
                    (MeasureFn ?TEMP CelsiusDegree)))))
    (greaterThan 10.0 ?TEMP))		 Geography.kif 2979-2987 If cold climate zone is a climate type in area of X and For all TimeInterval Y: Y is an instance of month and X average temperature for period Y for Z celsius degree(s), then 10.0 is greater than Z
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?MO Month)
        (averageTemperatureForPeriod ?AREA ?MO
            (MeasureFn ?TEMP CelsiusDegree))
        (greaterThan 10.0 ?TEMP))
    (climateTypeInArea ?AREA PolarClimateZone))		 Geography.kif 3032-3039 If X is an instance of geographic area, Y is an instance of month, X average temperature for period Y for Z celsius degree(s), and 10.0 is greater than Z, then polar climate zone is a climate type in area of X
(=>
    (and
        (climateTypeInArea ?AREA PolarTypeFClimateZone)
        (instance ?TIME TimePosition)
        (holdsDuring ?TIME
            (airTemperature ?AREA
                (MeasureFn ?TEMP CelsiusDegree))))
    (holdsDuring ?TIME
        (greaterThan 10.0 ?TEMP)))		 Geography.kif 3054-3060 If polar typeF climate zone is a climate type in area of X, Y is an instance of time position, and Z celsius degree(s) is an air temperature of X holds during Y, then 10.0 is greater than Z holds during Y
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hypothermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (lessThan ?N 35.0))		 Medicine.kif 629-637 If X is an instance of human and hypothermia is an attribute of Y and core body temp X and Z celsius degree(s) holds during Y, then Z is less than 35.0
(=>
    (and
        (instance ?H Human)
        (holdsDuring ?T
            (and
                (attribute ?T Hyperthermia)
                (coreBodyTemp ?H
                    (MeasureFn ?N CelsiusDegree)))))
    (greaterThan ?N 38.3))		 Medicine.kif 664-672 If X is an instance of human and hyperthermia is an attribute of Y and core body temp X and Z celsius degree(s) holds during Y, then Z is greater than 38.3
(=>
    (and
        (duration ?T
            (MeasureFn ?P MonthDuration))
        (greaterThanOrEqualTo ?P 5)
        (holdsDuring ?T
            (and
                (equal ?D
                    (SubtractionFn ?S ?L))
                (equal
                    (MeasureFn ?S CelsiusDegree)
                    (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
                (equal
                    (MeasureFn ?L CelsiusDegree)
                    (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
                (greaterThan ?D 0.5))))
    (holdsDuring ?T
        (exists (?EL ?A)
            (and
                (instance ?EL ElNinoPhase)
                (instance ?A GeographicArea)
                (eventLocated ?EL ?A)))))		 Weather.kif 528-549 If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is greater than 0.5 holds during X, then there exist S, R such that S is an instance of El Nino phase, R is an instance of geographic area, and S is located at R holds during X
(=>
    (and
        (duration ?T
            (MeasureFn ?P MonthDuration))
        (greaterThanOrEqualTo ?P 5)
        (holdsDuring ?T
            (and
                (equal ?D
                    (SubtractionFn ?S ?L))
                (equal
                    (MeasureFn ?S CelsiusDegree)
                    (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
                (equal
                    (MeasureFn ?L CelsiusDegree)
                    (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
                (lessThan ?D -0.5))))
    (holdsDuring ?T
        (exists (?LA ?A)
            (and
                (instance ?LA LaNinaPhase)
                (instance ?A GeographicArea)
                (eventLocated ?LA ?A)))))		 Weather.kif 563-584 If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is less than -0.5 holds during X, then there exist S, R such that S is an instance of La Nina phase, R is an instance of geographic area, and S is located at R holds during X
(=>
    (holdsDuring ?T
        (and
            (equal ?D
                (SubtractionFn ?S ?L))
            (equal
                (MeasureFn ?S CelsiusDegree)
                (ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
            (equal
                (MeasureFn ?L CelsiusDegree)
                (ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
            (greaterThanOrEqualTo ?D -0.5)
            (lessThanOrEqualTo ?D 0.5)))
    (holdsDuring ?T
        (exists (?N ?A)
            (and
                (instance ?N ENSONeutralPhase)
                (instance ?A GeographicArea)
                (eventLocated ?N ?A)))))		 Weather.kif 592-610 If equal X and (Y and Z) and equal Y celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month W year V in region Nino 3.4 and equal Z celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month W in year V of region Nino 3.4 and X is greater than or equal to -0.5 and X is less than or equal to 0.5 holds during U, then there exist T, S such that T is an instance of Enso neutral phase, S is an instance of geographic area, and T is located at S holds during U
(=>
    (and
        (instance ?M AirMass)
        (part ?A ?M)
        (part ?B ?M)
        (not
            (equal ?A ?B))
        (airTemperature ?A
            (MeasureFn ?X CelsiusDegree))
        (airTemperature ?B
            (MeasureFn ?Y CelsiusDegree)))
    (approximateValue ?X ?Y))		 Weather.kif 1273-1284 If All of the following hold: (1) X is an instance of air mass (2) Y is a part of X (3) Z is a part of X (4) equal Y and Z (5) W celsius degree(s) is an air temperature of Y (6) V celsius degree(s) is an air temperature of Z, then the approximate value of W is V
(=>
    (and
        (instance ?WF WarmFront)
        (instance ?W AirMass)
        (origin ?WF ?W)
        (airTemperature ?W
            (MeasureFn ?X CelsiusDegree))
        (instance ?C AirMass)
        (path ?WF ?C)
        (airTemperature ?C
            (MeasureFn ?Y CelsiusDegree)))
    (greaterThan ?X ?Y))		 Weather.kif 1303-1314 If All of the following hold: (1) X is an instance of warm front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) W is path along which X occurs (7) V celsius degree(s) is an air temperature of W, then Z is greater than V
(=>
    (and
        (instance ?CF ColdFront)
        (instance ?C AirMass)
        (origin ?CF ?C)
        (airTemperature ?C
            (MeasureFn ?X CelsiusDegree))
        (instance ?W AirMass)
        (path ?W ?W)
        (airTemperature ?W
            (MeasureFn ?Y CelsiusDegree)))
    (lessThan ?X ?Y))		 Weather.kif 1323-1334 If All of the following hold: (1) X is an instance of cold front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) W is path along which W occurs (7) V celsius degree(s) is an air temperature of W, then Z is less than V
(=>
    (and
        (instance ?OF OccludedFront)
        (instance ?C AirMass)
        (origin ?OF ?C)
        (airTemperature ?C
            (MeasureFn ?X CelsiusDegree))
        (instance ?W AirMass)
        (airTemperature ?W
            (MeasureFn ?Y CelsiusDegree))
        (lessThan ?X ?Y)
        (moves ?OF ?W))
    (orientation ?C ?W Below))		 Weather.kif 1342-1354 If All of the following hold: (1) X is an instance of occluded front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) V celsius degree(s) is an air temperature of W (7) Z is less than V (8) W moves during X, then Y is below to W

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


(=>
    (and
        (instance ?B Object)
        (roastedToTemperature ?B ?T))
    (exists (?H)
        (and
            (instance ?H Heating)
            (patient ?H ?B)
            (holdsDuring
                (EndFn
                    (WhenFn ?H))
                (measure ?B
                    (MeasureFn ?T CelsiusDegree))))))		 Food.kif 444-454 If X is an instance of object and Y is the temperature at which X is roasted to, then there exists Z such that Z is an instance of heating and X is a patient of Z and the measure of X is Y celsius degree(s) holds during the end of the time of existence of Z
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL CollectionOfObjects)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))		 Food.kif 776-811 If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X
(=>
    (instance ?C ColdBrewingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?C ?W)
            (measure ?W
                (MeasureFn 20 CelsiusDegree)))))		 Food.kif 821-828 If X is an instance of cold brew coffee, then there exists Y such that Y is an instance of potable water and Y is a resource for X and the measure of Y is 20 celsius degree(s)
(=>
    (instance ?X FrenchPressingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?W ?X)
            (measure ?W
                (MeasureFn 90 CelsiusDegree)))))		 Food.kif 839-846 If X is an instance of French press coffee, then there exists Y such that Y is an instance of potable water and X is a resource for Y and the measure of Y is 90 celsius degree(s)
(=>
    (instance ?M MilkFoam)
    (measure ?M
        (MeasureFn 70 CelsiusDegree)))		 Food.kif 1212-1214 If X is an instance of milk foam, then the measure of X is 70 celsius degree(s)
(=>
    (instance ?A Americano)
    (exists (?P ?W ?E)
        (and
            (instance ?P Pouring)
            (patient ?P ?W)
            (instance ?W DrinkingWater)
            (measure ?W
                (MeasureFn 90 CelsiusDegree))
            (destination ?P ?E)
            (instance ?E Espresso)
            (result ?P ?A))))		 Food.kif 1289-1299 If X is an instance of americano, then there exist Y, Z and W such that Y is an instance of pouring and Z is a patient of Y and Z is an instance of potable water and the measure of Z is 90 celsius degree(s) and Y ends up at W and W is an instance of espresso and X is a result of Y
(=>
    (climateTypeInArea ?AREA TropicalClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0)
            (not
                (exists (?M2 ?MT2)
                    (and
                        (averageTemperatureForPeriod ?AREA ?M2
                            (MeasureFn ?MT2 CelsiusDegree))
                        (lessThan ?MT2 ?TEMP)))))))		 Geography.kif 2742-2755 If tropical climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0 and there don't exist W and V such that X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (climateTypeInArea ?AREA SubtropicalDesertClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan ?TEMP 18.0))))		 Geography.kif 2836-2843 If subtropical desert climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 18.0
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThan ?AMOUNT 10.0))))		 Geography.kif 2866-2873 If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than 10.0
(=>
    (climateTypeInArea ?AREA TemperateClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (greaterThanOrEqualTo ?AMOUNT -3.0)
            (lessThanOrEqualTo ?AMOUNT 18.0)
            (not
                (exists (?M2 ?MT2)
                    (and
                        (instance ?M2 Month)
                        (averageTemperatureForPeriod ?AREA ?M2
                            (MeasureFn ?MT2 CelsiusDegree))
                        (lessThan ?MT2 ?AMOUNT)))))))		 Geography.kif 2885-2900 If temperate climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and Z is greater than or equal to -3.0 and Z is less than or equal to 18.0 and there don't exist W and V such that W is an instance of month and X average temperature for period W for V celsius degree(s) and V is less than Z
(=>
    (climateTypeInArea ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (temporalPart ?MO WinterSeason)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (lessThan ?AMOUNT -3.0))))		 Geography.kif 2990-2998 If cold climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and Y is a part of winter season and X average temperature for period Y for Z celsius degree(s) and Z is less than -3.0
(=>
    (climateTypeInArea ?AREA PolarClimateZone)
    (exists (?MO ?TEMP)
        (and
            (instance ?MO Month)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?TEMP CelsiusDegree))
            (greaterThan 10.0 ?TEMP))))		 Geography.kif 3023-3030 If polar climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and X average temperature for period Y for Z celsius degree(s) and 10.0 is greater than Z
(=>
    (speedOfSound
        (MeasureFn ?N MeterPerSecond) ?R ?T)
    (holdsDuring ?T
        (exists (?W)
            (and
                (located ?R ?W)
                (instance ?W FreshWater)
                (measure ?W
                    (MeasureFn 20 CelsiusDegree))
                (approximateValue ?N 1481)))))		 Transportation.kif 5150-5158 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is located at Z and Z is an instance of freshwater and the measure of Z is 20 celsius degree(s) and the approximate value of X is 1481 holds during W
(=>
    (speedOfSound
        (MeasureFn ?N MeterPerSecond) ?R ?T)
    (holdsDuring ?T
        (exists (?O)
            (and
                (part ?R ?O)
                (instance ?0 CorpuscularObject)
                (material Iron ?O)
                (measure ?O
                    (MeasureFn 20 CelsiusDegree))
                (approximateValue ?N 5120)))))		 Transportation.kif 5160-5170 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of iron and the measure of Z is 20 celsius degree(s) and the approximate value of X is 5120 holds during V
(=>
    (speedOfSound
        (MeasureFn ?N MeterPerSecond) ?R ?T)
    (holdsDuring ?T
        (exists (?O)
            (and
                (part ?R ?O)
                (instance ?0 CorpuscularObject)
                (material Diamond ?O)
                (measure ?O
                    (MeasureFn 20 CelsiusDegree))
                (approximateValue ?N 12000)))))		 Transportation.kif 5172-5182 If the speedOfSound for X meter per second(s) at Y is X meter per second(s), then there exists Z such that Y is a part of Z and W is an instance of corpuscular object and Z is made of diamond and the measure of Z is 20 celsius degree(s) and the approximate value of X is 12000 holds during V
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Gas)))
    (holdsDuring ?T
        (exists (?S)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn 0 CelsiusDegree))
                (measure ?S
                    (MeasureFn 101325 Pascal))))))		 Transportation.kif 5590-5600 If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 0 celsius degree(s) and the measure of W is 101325 pascal(s) holds during Z
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Gas)))
    (holdsDuring ?T
        (exists (?S)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn 20 CelsiusDegree))))))		 Transportation.kif 5602-5611 If the RefractiveIndexFn of X is Y, room temperature state X, and gas holds during Z, then there exists W such that W is an instance of X and the measure of W is 20 celsius degree(s) holds during Z
(=>
    (holdsDuring ?T
        (and
            (refractiveIndex ?CLASS ?X)
            (roomTempState ?CLASS Solid)))
    (holdsDuring ?T
        (exists (?S ?N)
            (and
                (instance ?S ?CLASS)
                (measure ?S
                    (MeasureFn ?N CelsiusDegree))
                (greaterThanOrEqualTo ?N 20)
                (lessThanOrEqualTo ?N 26.85)))))		 Transportation.kif 5613-5624 If the RefractiveIndexFn of X is Y, room temperature state X, and solid holds during Z, then there exist W and V such that W is an instance of X and the measure of W is V celsius degree(s) and V is greater than or equal to 20 and V is less than or equal to 26.85 holds during Z

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


(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (SubtractionFn ?NUMBER 273.15) KelvinDegree))		 Merge.kif 7127-7129 equal X celsius degree(s) and (X and 273.15) kelvin degree(s)
(equal
    (MeasureFn ?NUMBER CelsiusDegree)
    (MeasureFn
        (DivisionFn
            (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))		 Merge.kif 7131-7133 equal X celsius degree(s) and (X and 32.0) and 1.8 fahrenheit degree(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners