No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31275-31275	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 31229-31229	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 31163-31163	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 31165-31165	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 31259-31259	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 31245-31245	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 31105-31105	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 31235-31235	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 31103-31103	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 31199-31199	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 31207-31207	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 31255-31255	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 31153-31153	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 31173-31173	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 31215-31215	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 31265-31265	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 31107-31107	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 31243-31243	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 31125-31125	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 31151-31151	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 31261-31261	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 31185-31185	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 31221-31221	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 31121-31121	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 31287-31287	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