No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28987-28991	If a physical is an instance of einsteinium 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 28436-28440	If a physical is an instance of erbium and the physical is an instance of atom, then the measure of the physical is 167.26 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28342-28346	If a physical is an instance of europium and the physical is an instance of atom, then the measure of the physical is 151.25 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29007-29011	If a physical is an instance of fermium and the physical is an instance of atom, then the measure of the physical is 253 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27409-27413	If a physical is an instance of fluorine and the physical is an instance of atom, then the measure of the physical is 18.9984 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28780-28784	If a physical is an instance of francium and the physical is an instance of atom, then the measure of the physical is 223 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28358-28362	If a physical is an instance of gadolinium and the physical is an instance of atom, then the measure of the physical is 157.25 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27775-27779	If a physical is an instance of gallium and the physical is an instance of atom, then the measure of the physical is 69.72 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27793-27797	If a physical is an instance of germanium and the physical is an instance of atom, then the measure of the physical is 72.59 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28634-28638	If a physical is an instance of gold and the physical is an instance of atom, then the measure of the physical is 196.96655 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28506-28510	If a physical is an instance of hafnium and the physical is an instance of atom, then the measure of the physical is 178.49 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27288-27292	If a physical is an instance of helium and the physical is an instance of atom, then the measure of the physical is 4.0026 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28411-28415	If a physical is an instance of holmium and the physical is an instance of atom, then the measure of the physical is 167.26 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27272-27276	If a physical is an instance of hydrogen and the physical is an instance of atom, then the measure of the physical is 1.0079 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28080-28084	If a physical is an instance of indium and the physical is an instance of atom, then the measure of the physical is 114.82 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28145-28149	If a physical is an instance of iodine and the physical is an instance of atom, then the measure of the physical is 126.904 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28584-28588	If a physical is an instance of iridium and the physical is an instance of atom, then the measure of the physical is 192.217 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27695-27699	If a physical is an instance of iron and the physical is an instance of atom, then the measure of the physical is 55.847 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27856-27860	If a physical is an instance of krypton and the physical is an instance of atom, then the measure of the physical is 83.80 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28222-28226	If a physical is an instance of lanthanum and the physical is an instance of atom, then the measure of the physical is 138.9055 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29058-29062	If a physical is an instance of lawrencium and the physical is an instance of atom, then the measure of the physical is 262 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28694-28698	If a physical is an instance of lead and the physical is an instance of atom, then the measure of the physical is 207.19 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27304-27308	If a physical is an instance of lithium and the physical is an instance of atom, then the measure of the physical is 6.939 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28484-28488	If a physical is an instance of lutetium and the physical is an instance of atom, then the measure of the physical is 194.967 amu(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27460-27464	If a physical is an instance of magnesium and the physical is an instance of atom, then the measure of the physical is 24.312 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