No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27680-27684	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 29155-29159	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 29023-29027	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 28655-28659	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 27960-27964	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 28275-28279	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 27426-27430	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 28880-28884	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 27729-27733	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 27943-27947	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 27371-27375	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 29041-29045	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 28570-28574	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 27389-27393	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 28033-28037	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 27513-27517	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 28608-28612	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 28898-28902	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 28728-28732	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 27576-27580	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 28259-28263	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 28301-28305	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 28847-28851	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 28796-28800	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 28762-28766	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