Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CelsiusDegree

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 7004-7006
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 8410-8410
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9041-9041
No TPTP formula. May not be expressible in strict first order. Merge.kif 7002-7002 Celsius degree is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order. Merge.kif 7001-7001 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 13704-13704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13703-13703
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13702-13702

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1522-1530
No TPTP formula. May not be expressible in strict first order. Geography.kif 1370-1377
No TPTP formula. May not be expressible in strict first order. Geography.kif 1597-1603
No TPTP formula. May not be expressible in strict first order. Geography.kif 1419-1425
No TPTP formula. May not be expressible in strict first order. Food.kif 1321-1332
No TPTP formula. May not be expressible in strict first order. Geography.kif 1575-1582
No TPTP formula. May not be expressible in strict first order. Food.kif 1207-1216
No TPTP formula. May not be expressible in strict first order. Medicine.kif 686-694
No TPTP formula. May not be expressible in strict first order. Medicine.kif 651-659
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8985-8989
No TPTP formula. May not be expressible in strict first order. Cars.kif 1219-1228

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


No TPTP formula. May not be expressible in strict first order. Food.kif 468-478
No TPTP formula. May not be expressible in strict first order. Geography.kif 1533-1541
No TPTP formula. May not be expressible in strict first order. Geography.kif 1566-1573
No TPTP formula. May not be expressible in strict first order. Geography.kif 1379-1386
No TPTP formula. May not be expressible in strict first order. Geography.kif 1409-1416
No TPTP formula. May not be expressible in strict first order. Geography.kif 1428-1443
No TPTP formula. May not be expressible in strict first order. Geography.kif 1285-1298
No TPTP formula. May not be expressible in strict first order. Food.kif 1310-1320
No TPTP formula. May not be expressible in strict first order. Food.kif 844-851
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834
No TPTP formula. May not be expressible in strict first order. Food.kif 1233-1235
No TPTP formula. May not be expressible in strict first order. Food.kif 862-869

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7012-7014 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 7008-7010 A real number celsius degree(s) is equal to (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