No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29342-29342	950.0 Kelvin degree(s) is a boiling point of francium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29296-29296	3506.0 Kelvin degree(s) is a boiling point of gadolinium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29230-29230	2676.0 Kelvin degree(s) is a boiling point of gallium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29232-29232	3103.0 Kelvin degree(s) is a boiling point of germanium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29326-29326	3213.0 Kelvin degree(s) is a boiling point of gold
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29312-29312	5673.0 Kelvin degree(s) is a boiling point of hafnium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29172-29172	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 29302-29302	2993.0 Kelvin degree(s) is a boiling point of holmium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29170-29170	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 29266-29266	2353.0 Kelvin degree(s) is a boiling point of indium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29274-29274	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 29322-29322	4403.0 Kelvin degree(s) is a boiling point of iridium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29220-29220	3023.0 Kelvin degree(s) is a boiling point of iron
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29240-29240	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 29282-29282	3727.0 Kelvin degree(s) is a boiling point of lanthanum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29332-29332	2013.0 Kelvin degree(s) is a boiling point of lead
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29174-29174	1590.0 Kelvin degree(s) is a boiling point of lithium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29310-29310	3588.0 Kelvin degree(s) is a boiling point of lutetium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29192-29192	1380.0 Kelvin degree(s) is a boiling point of magnesium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29218-29218	2370.0 Kelvin degree(s) is a boiling point of manganese
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29328-29328	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 29252-29252	5833.0 Kelvin degree(s) is a boiling point of molybdenum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29288-29288	3400.0 Kelvin degree(s) is a boiling point of neodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29188-29188	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 29354-29354	4175.0 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