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, celsius_degree, 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.	Merge.kif 7221-7222
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7218-7220
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8412-8412	"http://upload.wikimedia.org/wikipedia/commons/4/40/ Grau_Celsius.PNG" is a URL depicting celsius degree
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9046-9046	"http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c9/ Raumthermometer_Fahrenheit%2BCelsius.jpg/ 597px-Raumthermometer_Fahrenheit%2BCelsius.jpg" is a URL depicting celsius degree
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7217-7217	Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7216-7216	Celsius degree is an instance of UnitOfTemperature

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 2707-2707

"celsius degree" is the printable form of celsius degree in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1340-1346	If a geographic area is an instance of desert climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and the temperature measure is greater than 18 celsius degree(s), then the geographic area is an instance of subtropical desert climate zone
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1518-1524	If a geographic area is an instance of geographic area and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure and 10 celsius degree(s) is greater than the temperature measure, then the geographic area is an instance of polar climate zone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8646-8650	If an object is an instance of ice and the measure of the object is a real number celsius degree(s), then the real number is less than or equal to 0
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1264-1273	If an object is an instance of 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

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1474-1479	If a geographic area is an instance of cold climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then 10 celsius degree(s) is greater than the temperature measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1511-1516	If a geographic area is an instance of polar climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then 10 celsius degree(s) is greater than the temperature measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1539-1544	If an object is an instance of polar typeF climate zone and an entity is an instance of time position and a temperature measure is an air temperature of the object holds during the entity, then 10 celsius degree(s) is greater than the temperature measure holds during the entity
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1348-1353	If a geographic area is an instance of subtropical desert climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than 18 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1381-1386	If a geographic area is an instance of temperate climate zone and a time duration is a subclass of month and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than or equal to -3 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1264-1270	If a geographic area is an instance of tropical climate zone and a time duration is a subclass of month and the geographic area is an instance of geographic area and the geographic area average temperature for period the time duration for a temperature measure, then the temperature measure is greater than 18 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1481-1487	If a geographic area is an instance of cold climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is less than -3 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1373-1379	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than 10 celsius degree(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1388-1395	If a geographic area is an instance of temperate climate zone, then there exist a time duration and a temperature measure such that the time duration is a subclass of month and the geographic area average temperature for period the time duration for the temperature measure and the temperature measure is greater than or equal to -3 celsius degree(s) and the temperature measure is less than or equal to 18 celsius degree(s)

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7228-7230	A real number celsius degree(s) is equal to (the real number and 32) and 1.8 fahrenheit degree(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7224-7226	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