KelvinDegree(kelvin degree)

-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27537-27537 950 Kelvin degree(s) is a boiling point of francium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27491-27491 3506 Kelvin degree(s) is a boiling point of gadolinium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27425-27425 2676 Kelvin degree(s) is a boiling point of gallium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27427-27427 3103 Kelvin degree(s) is a boiling point of germanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27521-27521 3213 Kelvin degree(s) is a boiling point of gold
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27507-27507 5673 Kelvin degree(s) is a boiling point of hafnium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27367-27367 4.216 Kelvin degree(s) is a boiling point of helium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27497-27497 2993 Kelvin degree(s) is a boiling point of holmium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27365-27365 20.28 Kelvin degree(s) is a boiling point of hydrogen
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27461-27461 2353 Kelvin degree(s) is a boiling point of indium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27469-27469 457.55 Kelvin degree(s) is a boiling point of iodine
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27517-27517 4403 Kelvin degree(s) is a boiling point of iridium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27415-27415 3023 Kelvin degree(s) is a boiling point of iron
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27435-27435 120.85 Kelvin degree(s) is a boiling point of krypton
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27477-27477 3727 Kelvin degree(s) is a boiling point of lanthanum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27527-27527 2013 Kelvin degree(s) is a boiling point of lead
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27369-27369 1590 Kelvin degree(s) is a boiling point of lithium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27505-27505 3588 Kelvin degree(s) is a boiling point of lutetium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27387-27387 1380 Kelvin degree(s) is a boiling point of magnesium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27413-27413 2370 Kelvin degree(s) is a boiling point of manganese
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27523-27523 629.73 Kelvin degree(s) is a boiling point of mercury
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27447-27447 5833 Kelvin degree(s) is a boiling point of molybdenum
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27483-27483 3400 Kelvin degree(s) is a boiling point of neodymium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27383-27383 27.1 Kelvin degree(s) is a boiling point of neon
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27549-27549 4175 Kelvin degree(s) is a boiling point of neptunium

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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