CelsiusDegree - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2561-2562
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7014-7016
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1264-1265
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8409-8409
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9040-9040
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7012-7012	Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7011-7011	Celsius degree is an instance of unit of temperature

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13713-13713
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13712-13712
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13711-13711

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1516-1524	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1364-1371	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1591-1597	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1413-1419	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1569-1576	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 881-892	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10191-10195	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 831-842	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 the other object is not equal to 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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 900-912	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 861-872	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

consequent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1527-1535	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1560-1567	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1373-1380	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1403-1410	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1422-1437	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1279-1292	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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)
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 1234-1236	If a physical is an instance of milk foam, then the measure of the physical is 70 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7022-7024	A real number celsius degree(s) is equal to (the real number and 32.0) and 1.8 fahrenheit degree(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7018-7020	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