TreeView Knowledge Base Browser - CelsiusDegree

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 7054-7056
(documentation CelsiusDegree JapaneseLanguage "TemperatureMeasure。水の点位と沸点は、それぞれ、0 CelsiusDegrees 及び100 CelsiusDegreesである。")	japanese_format.kif 1264-1265
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Grau_Celsius.PNG")	pictureList.kif 8409-8409
(externalImage CelsiusDegree "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px_Raumthermometer_Fahrenheit%2BCelsius.jpg")	pictureList.kif 9040-9040
(instance CelsiusDegree SystemeInternationalUnit)	Merge.kif 7052-7052	Celsius degree is an instance of systeme international unit
(instance CelsiusDegree UnitOfTemperature)	Merge.kif 7051-7051	Celsius degree is an instance of unit of temperature

appearance as argument number 2

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

antecedent

(=> (and (climateTypeInArea ?AREA ColdClimateZone) (forall (?MO) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))))) (greaterThan 10.0 ?TEMP))	Geography.kif 2996-3004	If cold climate zone is a climate type in area of a geographic area and for all a time interval the time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then 10.0 is greater than the real number
(=> (and (climateTypeInArea ?AREA DesertClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0)) (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 2844-2851	If desert climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and the real number is greater than 18.0, then subtropical desert climate zone is a climate type in area of the geographic area
(=> (and (climateTypeInArea ?AREA PolarTypeFClimateZone) (instance ?TIME TimePosition) (holdsDuring ?TIME (airTemperature ?AREA (MeasureFn ?TEMP CelsiusDegree)))) (holdsDuring ?TIME (greaterThan 10.0 ?TEMP)))	Geography.kif 3071-3077	If polar typeF climate zone is a climate type in area of a geographic area and a time position is an instance of time position and an entity celsius degree(s) is an air temperature of the geographic area holds during the time position, then 10.0 is greater than the entity holds during the time position
(=> (and (climateTypeInArea ?AREA TemperateClimateZone) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree))) (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 2893-2899	If temperate climate zone is a climate type in area of a geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s), then the real number is greater than or equal to -3.0
(=> (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 544-565	If duration of a time interval is a real number month duration(s) and the real number is greater than or equal to 5 and equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is greater than 0.5 holds during the time interval, then there exist a sixth entity and a seventh entity such that the sixth entity is an instance of El Nino phase and the seventh entity is an instance of geographic area and the sixth entity is located at the seventh entity holds during the time interval
(=> (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 579-600	If duration of a time interval is a real number month duration(s) and the real number is greater than or equal to 5 and equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is less than -0.5 holds during the time interval, then there exist the third entityA and a seventh entity such that the third entityA is an instance of La Nina phase and the seventh entity is an instance of geographic area and the third entityA is located at the seventh entity holds during the time interval
(=> (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 1322-1333	If an object is an instance of americano and a substance is a part of the object and another substance is a part of the object and the substance is an instance of espresso and the other substance is an instance of potable water and the measure of the other substance is 90.0 celsius degree(s) and A Mixture containing a real number unit liter of the substance and another real number unit liter of the other substance, then the approximate value of the real number is 0.03 and the approximate value of the other real number is 0.15
(=> (and (instance ?AREA GeographicArea) (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan 10.0 ?TEMP)) (climateTypeInArea ?AREA PolarClimateZone))	Geography.kif 3049-3056	If a geographic area is an instance of geographic area and a time interval is an instance of month and the geographic area average temperature for period the time interval for a real number celsius degree(s) and 10.0 is greater than the real number, then polar climate zone is a climate type in area of the geographic area
(=> (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 1339-1350	If a process is an instance of cold front and an object is an instance of air mass and the process originates at the object and a real number celsius degree(s) is an air temperature of the object and a motion is an instance of air mass and the motion is path along which the motion occurs and another real number celsius degree(s) is an air temperature of the motion, then the real number is less than the other real number
(=> (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 1208-1217	If a process is an instance of foaming milk and a physical is a patient of the process and the physical is an instance of processed milk and another process is an instance of heating and the other process is a subprocess of the process and the measure of the physical is a real number celsius degree(s), then the approximate value of the real number is 70.0
(=> (and (instance ?H Human) (holdsDuring ?T (and (attribute ?T Hyperthermia) (coreBodyTemp ?H (MeasureFn ?N CelsiusDegree))))) (greaterThan ?N 38.3))	Medicine.kif 677-685	If an entity is an instance of human and hyperthermia is an attribute of a time position and core body temp the entity and a real number celsius degree(s) holds during the time position, then the real number is greater than 38.3
(=> (and (instance ?H Human) (holdsDuring ?T (and (attribute ?T Hypothermia) (coreBodyTemp ?H (MeasureFn ?N CelsiusDegree))))) (lessThan ?N 35.0))	Medicine.kif 642-650	If an entity is an instance of human and hypothermia is an attribute of a time position and core body temp the entity and a real number celsius degree(s) holds during the time position, then the real number is less than 35.0
(=> (and (instance ?ICE Ice) (measure ?ICE (MeasureFn ?NUMBER CelsiusDegree))) (lessThanOrEqualTo ?NUMBER 0.0))	Mid-level-ontology.kif 10186-10190	If a physical is an instance of ice and the measure of the physical is a real number celsius degree(s), then the real number is less than or equal to 0.0
(=> (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 1289-1300	If an object is an instance of air mass and another object is a part of the object and a third object is a part of the object and equal the other object and the third object and a real number celsius degree(s) is an air temperature of the other object and another real number celsius degree(s) is an air temperature of the third object, then the approximate value of the real number is the other real number
(=> (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 1358-1370	If a motion is an instance of occluded front and an object is an instance of air mass and the motion originates at the object and a real number celsius degree(s) is an air temperature of the object and another object is an instance of air mass and another real number celsius degree(s) is an air temperature of the other object and the real number is less than the other real number and the other object moves during the motion, then the object is below to the other object
(=> (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 1219-1228	If an object is an instance of tap water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s), then 32 is greater than the real number
(=> (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 1319-1330	If a motion is an instance of warm front and an object is an instance of air mass and the motion originates at the object and a real number celsius degree(s) is an air temperature of the object and another object is an instance of air mass and the other object is path along which the motion occurs and another real number celsius degree(s) is an air temperature of the other object, then the real number is greater than the other real number
(=> (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 608-626	If equal an entity and (another entity and a third entity) and equal the other entity celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month a fourth entity year a fifth entity in region Nino 3.4 and equal the third entity celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month the fourth entity in year the fifth entity of region Nino 3.4 and the entity is greater than or equal to -0.5 and the entity is less than or equal to 0.5 holds during a time position, then there exist a sixth entity and a seventh entity such that the sixth entity is an instance of Enso neutral phase and the seventh entity is an instance of geographic area and the sixth entity is located at the seventh entity holds during the time position

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 468-478	If a food is an instance of object and a real number is the temperature at which the food is roasted to, then there exists a process such that the process is an instance of heating and the food is a patient of the process and the measure of the food is the real number celsius degree(s) holds during the end of the time of existence of the process
(=> (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 3007-3015	If cold climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the time interval is a part of winter season and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number 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 3040-3047	If polar climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and 10.0 is greater than the real number
(=> (climateTypeInArea ?AREA SubtropicalDesertClimateZone) (exists (?MO ?TEMP) (and (instance ?MO Month) (averageTemperatureForPeriod ?AREA ?MO (MeasureFn ?TEMP CelsiusDegree)) (greaterThan ?TEMP 18.0))))	Geography.kif 2853-2860	If subtropical desert climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number 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 2883-2890	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number 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 2902-2917	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (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 2759-2772	If tropical climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than 18.0 and there don't exist another time interval and another real number such that the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
(=> (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 1311-1321	If an entity is an instance of americano, then there exist a process, a physical and another entity such that the process is an instance of pouring and the physical is a patient of the process and the physical is an instance of potable water and the measure of the physical is 90 celsius degree(s) and the process ends up at the other entity and the other entity is an instance of espresso and the entity is a result of the process
(=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree)))))	Food.kif 844-851	If a process is an instance of cold brew coffee, then there exists an object such that the object is an instance of potable water and the object is a resource for the process and the measure of the object is 20 celsius degree(s)
(=> (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 Collection) (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 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position
(=> (instance ?M MilkFoam) (measure ?M (MeasureFn 70 CelsiusDegree)))	Food.kif 1234-1236	If a physical is an instance of milk foam, then the measure of the physical is 70 celsius degree(s)
(=> (instance ?X FrenchPressingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?W ?X) (measure ?W (MeasureFn 90 CelsiusDegree)))))	Food.kif 862-869	If an object is an instance of French press coffee, then there exists a process such that the process is an instance of potable water and the object is a resource for the process and the measure of the process is 90 celsius degree(s)

statement

(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (DivisionFn (SubtractionFn ?NUMBER 32.0) 1.8) FahrenheitDegree))	Merge.kif 7062-7064	equal a real number celsius degree(s) and (the real number and 32.0) and 1.8 fahrenheit degree(s)
(equal (MeasureFn ?NUMBER CelsiusDegree) (MeasureFn (SubtractionFn ?NUMBER 273.15) KelvinDegree))	Merge.kif 7058-7060	equal a real number celsius degree(s) and (the real number and 273.15) kelvin 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 is open source software produced by Articulate Software and its partners