No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27668-27672	If a physical is an instance of manganese and the physical is an instance of atom, then the measure of the physical is 54.938 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29143-29147	If a physical is an instance of meitnerium and the physical is an instance of atom, then the measure of the physical is 266 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29011-29015	If a physical is an instance of mendelevium and the physical is an instance of atom, then the measure of the physical is 256 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28643-28647	If a physical is an instance of mercury and the physical is an instance of atom, then the measure of the physical is 200.59 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27948-27952	If a physical is an instance of molybdenum and the physical is an instance of atom, then the measure of the physical is 95.94 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28263-28267	If a physical is an instance of neodymium and the physical is an instance of atom, then the measure of the physical is 144.24 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27414-27418	If a physical is an instance of neon and the physical is an instance of atom, then the measure of the physical is 20.183 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28868-28872	If a physical is an instance of neptunium and the physical is an instance of atom, then the measure of the physical is 237 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27717-27721	If a physical is an instance of nickel and the physical is an instance of atom, then the measure of the physical is 58.71 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27931-27935	If a physical is an instance of niobium and the physical is an instance of atom, then the measure of the physical is 92.906 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27359-27363	If a physical is an instance of nitrogen and the physical is an instance of atom, then the measure of the physical is 14.0067 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29029-29033	If a physical is an instance of nobelium and the physical is an instance of atom, then the measure of the physical is 254 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28558-28562	If a physical is an instance of osmium and the physical is an instance of atom, then the measure of the physical is 190.2 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27377-27381	If a physical is an instance of oxygen and the physical is an instance of atom, then the measure of the physical is 15.9994 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28021-28025	If a physical is an instance of palladium and the physical is an instance of atom, then the measure of the physical is 106.4 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27501-27505	If a physical is an instance of phosphorus and the physical is an instance of atom, then the measure of the physical is 30.9738 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28596-28600	If a physical is an instance of platinum and the physical is an instance of atom, then the measure of the physical is 195.078 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28886-28890	If a physical is an instance of plutonium and the physical is an instance of atom, then the measure of the physical is 242 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28716-28720	If a physical is an instance of polonium and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27564-27568	If a physical is an instance of potassium and the physical is an instance of atom, then the measure of the physical is 39.0983 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28247-28251	If a physical is an instance of praseodymium and the physical is an instance of atom, then the measure of the physical is 140.907 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28289-28293	If a physical is an instance of promethium and the physical is an instance of atom, then the measure of the physical is 147 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28835-28839	If a physical is an instance of protactinium and the physical is an instance of atom, then the measure of the physical is 231 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28784-28788	If a physical is an instance of radium and the physical is an instance of atom, then the measure of the physical is 226 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28750-28754	If a physical is an instance of radon and the physical is an instance of atom, then the measure of the physical is 222 amu(s)
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