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