(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 28975-28979	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)
(=>     (and         (instance ?ATOM Erbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 28424-28428	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)
(=>     (and         (instance ?ATOM Europium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 151.25 Amu)))	Mid-level-ontology.kif 28330-28334	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)
(=>     (and         (instance ?ATOM Fermium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 253 Amu)))	Mid-level-ontology.kif 28995-28999	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)
(=>     (and         (instance ?ATOM Fluorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 18.9984 Amu)))	Mid-level-ontology.kif 27397-27401	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)
(=>     (and         (instance ?ATOM Francium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 223 Amu)))	Mid-level-ontology.kif 28768-28772	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)
(=>     (and         (instance ?ATOM Gadolinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 157.25 Amu)))	Mid-level-ontology.kif 28346-28350	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)
(=>     (and         (instance ?ATOM Gallium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 69.72 Amu)))	Mid-level-ontology.kif 27763-27767	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)
(=>     (and         (instance ?ATOM Germanium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 72.59 Amu)))	Mid-level-ontology.kif 27781-27785	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)
(=>     (and         (instance ?ATOM Gold)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 196.96655 Amu)))	Mid-level-ontology.kif 28622-28626	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)
(=>     (and         (instance ?ATOM Hafnium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 178.49 Amu)))	Mid-level-ontology.kif 28494-28498	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)
(=>     (and         (instance ?ATOM Helium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 4.0026 Amu)))	Mid-level-ontology.kif 27276-27280	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)
(=>     (and         (instance ?ATOM Holmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 28399-28403	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)
(=>     (and         (instance ?ATOM Hydrogen)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 1.0079 Amu)))	Mid-level-ontology.kif 27260-27264	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)
(=>     (and         (instance ?ATOM Indium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 114.82 Amu)))	Mid-level-ontology.kif 28068-28072	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)
(=>     (and         (instance ?ATOM Iodine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 126.904 Amu)))	Mid-level-ontology.kif 28133-28137	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)
(=>     (and         (instance ?ATOM Iridium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 192.217 Amu)))	Mid-level-ontology.kif 28572-28576	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)
(=>     (and         (instance ?ATOM Iron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 55.847 Amu)))	Mid-level-ontology.kif 27683-27687	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)
(=>     (and         (instance ?ATOM Krypton)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 83.80 Amu)))	Mid-level-ontology.kif 27844-27848	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)
(=>     (and         (instance ?ATOM Lanthanum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 138.9055 Amu)))	Mid-level-ontology.kif 28210-28214	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)
(=>     (and         (instance ?ATOM Lawrencium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 29046-29050	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)
(=>     (and         (instance ?ATOM Lead)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 207.19 Amu)))	Mid-level-ontology.kif 28682-28686	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)
(=>     (and         (instance ?ATOM Lithium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 6.939 Amu)))	Mid-level-ontology.kif 27292-27296	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)
(=>     (and         (instance ?ATOM Lutetium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 194.967 Amu)))	Mid-level-ontology.kif 28472-28476	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)
(=>     (and         (instance ?ATOM Magnesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 24.312 Amu)))	Mid-level-ontology.kif 27448-27452	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