(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 27181-27185	instance Object and Einsteinium instance Object and Atom measure Object and MeasureFn 254 and Amu
(=>     (and         (instance ?ATOM Erbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 26661-26665	instance Object and Erbium instance Object and Atom measure Object and MeasureFn 167.26 and Amu
(=>     (and         (instance ?ATOM Europium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 151.25 Amu)))	Mid-level-ontology.kif 26572-26576	instance Object and Europium instance Object and Atom measure Object and MeasureFn 151.25 and Amu
(=>     (and         (instance ?ATOM Fermium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 253 Amu)))	Mid-level-ontology.kif 27200-27204	instance Object and Fermium instance Object and Atom measure Object and MeasureFn 253 and Amu
(=>     (and         (instance ?ATOM Fluorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 18.9984 Amu)))	Mid-level-ontology.kif 25693-25697	instance Object and Fluorine instance Object and Atom measure Object and MeasureFn 18.9984 and Amu
(=>     (and         (instance ?ATOM Francium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 223 Amu)))	Mid-level-ontology.kif 26986-26990	instance Object and Francium instance Object and Atom measure Object and MeasureFn 223 and Amu
(=>     (and         (instance ?ATOM Gadolinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 157.25 Amu)))	Mid-level-ontology.kif 26587-26591	instance Object and Gadolinium instance Object and Atom measure Object and MeasureFn 157.25 and Amu
(=>     (and         (instance ?ATOM Gallium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 69.72 Amu)))	Mid-level-ontology.kif 26037-26041	instance Object and Gallium instance Object and Atom measure Object and MeasureFn 69.72 and Amu
(=>     (and         (instance ?ATOM Germanium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 72.59 Amu)))	Mid-level-ontology.kif 26054-26058	instance Object and Germanium instance Object and Atom measure Object and MeasureFn 72.59 and Amu
(=>     (and         (instance ?ATOM Gold)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 196.96655 Amu)))	Mid-level-ontology.kif 26848-26852	instance Object and Gold instance Object and Atom measure Object and MeasureFn 196.96655 and Amu
(=>     (and         (instance ?ATOM Hafnium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 178.49 Amu)))	Mid-level-ontology.kif 26727-26731	instance Object and Hafnium instance Object and Atom measure Object and MeasureFn 178.49 and Amu
(=>     (and         (instance ?ATOM Helium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 4.0026 Amu)))	Mid-level-ontology.kif 25579-25583	instance Object and Helium instance Object and Atom measure Object and MeasureFn 4.0026 and Amu
(=>     (and         (instance ?ATOM Holmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 26637-26641	instance Object and Holmium instance Object and Atom measure Object and MeasureFn 167.26 and Amu
(=>     (and         (instance ?ATOM Hydrogen)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 1.0079 Amu)))	Mid-level-ontology.kif 25564-25568	instance Object and Hydrogen instance Object and Atom measure Object and MeasureFn 1.0079 and Amu
(=>     (and         (instance ?ATOM Indium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 114.82 Amu)))	Mid-level-ontology.kif 26324-26328	instance Object and Indium instance Object and Atom measure Object and MeasureFn 114.82 and Amu
(=>     (and         (instance ?ATOM Iodine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 126.904 Amu)))	Mid-level-ontology.kif 26385-26389	instance Object and Iodine instance Object and Atom measure Object and MeasureFn 126.904 and Amu
(=>     (and         (instance ?ATOM Iridium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 192.217 Amu)))	Mid-level-ontology.kif 26800-26804	instance Object and Iridium instance Object and Atom measure Object and MeasureFn 192.217 and Amu
(=>     (and         (instance ?ATOM Iron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 55.847 Amu)))	Mid-level-ontology.kif 25962-25966	instance Object and Iron instance Object and Atom measure Object and MeasureFn 55.847 and Amu
(=>     (and         (instance ?ATOM Krypton)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 83.80 Amu)))	Mid-level-ontology.kif 26113-26117	instance Object and Krypton instance Object and Atom measure Object and MeasureFn 83.80 and Amu
(=>     (and         (instance ?ATOM Lanthanum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 138.9055 Amu)))	Mid-level-ontology.kif 26458-26462	instance Object and Lanthanum instance Object and Atom measure Object and MeasureFn 138.9055 and Amu
(=>     (and         (instance ?ATOM Lawrencium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 27248-27252	instance Object and Lawrencium instance Object and Atom measure Object and MeasureFn 262 and Amu
(=>     (and         (instance ?ATOM Lead)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 207.19 Amu)))	Mid-level-ontology.kif 26905-26909	instance Object and Lead instance Object and Atom measure Object and MeasureFn 207.19 and Amu
(=>     (and         (instance ?ATOM Lithium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 6.939 Amu)))	Mid-level-ontology.kif 25594-25598	instance Object and Lithium instance Object and Atom measure Object and MeasureFn 6.939 and Amu
(=>     (and         (instance ?ATOM Lutetium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 194.967 Amu)))	Mid-level-ontology.kif 26706-26710	instance Object and Lutetium instance Object and Atom measure Object and MeasureFn 194.967 and Amu
(=>     (and         (instance ?ATOM Magnesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 24.312 Amu)))	Mid-level-ontology.kif 25741-25745	instance Object and Magnesium instance Object and Atom measure Object and MeasureFn 24.312 and Amu
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