(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 27156-27160	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 26636-26640	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 26547-26551	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 27175-27179	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 25668-25672	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 26961-26965	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 26562-26566	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 26012-26016	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 26029-26033	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 26823-26827	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 26702-26706	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 25554-25558	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 26612-26616	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 25539-25543	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 26299-26303	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 26360-26364	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 26775-26779	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 25937-25941	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 26088-26092	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 26433-26437	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 27223-27227	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 26880-26884	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 25569-25573	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 26681-26685	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 25716-25720	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