Amu

-------------------------


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

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