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
No TPTP formula. May not be expressible in strict first order. Geography.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8646-8650
No TPTP formula. May not be expressible in strict first order. Cars.kif 1264-1273

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1474-1479
No TPTP formula. May not be expressible in strict first order. Geography.kif 1511-1516
No TPTP formula. May not be expressible in strict first order. Geography.kif 1539-1544
No TPTP formula. May not be expressible in strict first order. Geography.kif 1348-1353
No TPTP formula. May not be expressible in strict first order. Geography.kif 1381-1386
No TPTP formula. May not be expressible in strict first order. Geography.kif 1264-1270
No TPTP formula. May not be expressible in strict first order. Geography.kif 1481-1487
No TPTP formula. May not be expressible in strict first order. Geography.kif 1373-1379
No TPTP formula. May not be expressible in strict first order. Geography.kif 1388-1395

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