(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 27056-27060	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 26536-26540	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 26447-26451	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 27075-27079	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 25568-25572	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 26861-26865	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 26462-26466	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 25912-25916	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 25929-25933	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 26723-26727	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 26602-26606	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 25454-25458	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 26512-26516	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 25439-25443	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 26199-26203	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 26260-26264	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 26675-26679	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 25837-25841	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 25988-25992	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 26333-26337	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 27123-27127	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 26780-26784	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 25469-25473	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 26581-26585	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 25616-25620	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners