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 6724-6726
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8412-8412
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9046-9046
No TPTP formula. May not be expressible in strict first order. Merge.kif 6722-6722 Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 6721-6721 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 13707-13707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13706-13706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13705-13705

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1499-1505
No TPTP formula. May not be expressible in strict first order. Geography.kif 1360-1367
No TPTP formula. May not be expressible in strict first order. Geography.kif 1546-1553
No TPTP formula. May not be expressible in strict first order. Geography.kif 1538-1544
No TPTP formula. May not be expressible in strict first order. Geography.kif 1568-1574
No TPTP formula. May not be expressible in strict first order. Geography.kif 1369-1375
No TPTP formula. May not be expressible in strict first order. Geography.kif 1404-1410
No TPTP formula. May not be expressible in strict first order. Geography.kif 1281-1288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7830-7834
No TPTP formula. May not be expressible in strict first order. Cars.kif 1233-1242

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1507-1514
No TPTP formula. May not be expressible in strict first order. Geography.kif 1395-1402
No TPTP formula. May not be expressible in strict first order. Geography.kif 1412-1420

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6732-6734 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 6728-6730 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