No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29287-29287	3005.0 Kelvin degree(s) is a boiling point of nickel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29313-29313	5200.0 Kelvin degree(s) is a boiling point of niobium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29245-29245	77.4 Kelvin degree(s) is a boiling point of nitrogen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29383-29383	5300.0 Kelvin degree(s) is a boiling point of osmium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29247-29247	90.188 Kelvin degree(s) is a boiling point of oxygen
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29323-29323	3413.0 Kelvin degree(s) is a boiling point of palladium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29261-29261	553.0 Kelvin degree(s) is a boiling point of phosphorus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29387-29387	4100.0 Kelvin degree(s) is a boiling point of platinum
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29419-29419	3600.0 Kelvin degree(s) is a boiling point of plutonium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29399-29399	1235.0 Kelvin degree(s) is a boiling point of polonium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29269-29269	1047.0 Kelvin degree(s) is a boiling point of potassium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29349-29349	3485.0 Kelvin degree(s) is a boiling point of praseodymium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29353-29353	3000.0 Kelvin degree(s) is a boiling point of promethium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29413-29413	4300.0 Kelvin degree(s) is a boiling point of protactinium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29407-29407	1413.0 Kelvin degree(s) is a boiling point of radium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29403-29403	211.4 Kelvin degree(s) is a boiling point of radon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29381-29381	5900.0 Kelvin degree(s) is a boiling point of rhenium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29321-29321	4000.0 Kelvin degree(s) is a boiling point of rhodium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29305-29305	961.0 Kelvin degree(s) is a boiling point of rubidium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29319-29319	4173.0 Kelvin degree(s) is a boiling point of ruthenium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29355-29355	2051.0 Kelvin degree(s) is a boiling point of samarium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29273-29273	3105.0 Kelvin degree(s) is a boiling point of scandium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29299-29299	958.1 Kelvin degree(s) is a boiling point of selenium
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29259-29259	2628.0 Kelvin degree(s) is a boiling point of silicon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29325-29325	2485.0 Kelvin degree(s) is a boiling point of silver
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