Atom

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


(=>
    (and
        (instance ?ATOM Einsteinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 254 Amu)))
Mid-level-ontology.kif 28028-28032
(=>
    (and
        (instance ?ATOM Erbium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 167.26 Amu)))
Mid-level-ontology.kif 27477-27481
(=>
    (and
        (instance ?ATOM Europium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 151.25 Amu)))
Mid-level-ontology.kif 27383-27387
(=>
    (and
        (instance ?ATOM Fermium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 253 Amu)))
Mid-level-ontology.kif 28048-28052
(=>
    (and
        (instance ?ATOM Fluorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 18.9984 Amu)))
Mid-level-ontology.kif 26450-26454
(=>
    (and
        (instance ?ATOM Francium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 223 Amu)))
Mid-level-ontology.kif 27821-27825
(=>
    (and
        (instance ?ATOM Gadolinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 157.25 Amu)))
Mid-level-ontology.kif 27399-27403
(=>
    (and
        (instance ?ATOM Gallium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 69.72 Amu)))
Mid-level-ontology.kif 26816-26820
(=>
    (and
        (instance ?ATOM Germanium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 72.59 Amu)))
Mid-level-ontology.kif 26834-26838
(=>
    (and
        (instance ?ATOM Gold)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 196.96655 Amu)))
Mid-level-ontology.kif 27675-27679
(=>
    (and
        (instance ?ATOM Hafnium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 178.49 Amu)))
Mid-level-ontology.kif 27547-27551
(=>
    (and
        (instance ?ATOM Helium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 4.0026 Amu)))
Mid-level-ontology.kif 26329-26333
(=>
    (and
        (instance ?ATOM Holmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 167.26 Amu)))
Mid-level-ontology.kif 27452-27456
(=>
    (and
        (instance ?ATOM Hydrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 1.0079 Amu)))
Mid-level-ontology.kif 26313-26317
(=>
    (and
        (instance ?ATOM Indium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 114.82 Amu)))
Mid-level-ontology.kif 27121-27125
(=>
    (and
        (instance ?ATOM Iodine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 126.904 Amu)))
Mid-level-ontology.kif 27186-27190
(=>
    (and
        (instance ?ATOM Iridium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 192.217 Amu)))
Mid-level-ontology.kif 27625-27629
(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 26736-26740
(=>
    (and
        (instance ?ATOM Krypton)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 83.80 Amu)))
Mid-level-ontology.kif 26897-26901
(=>
    (and
        (instance ?ATOM Lanthanum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 138.9055 Amu)))
Mid-level-ontology.kif 27263-27267
(=>
    (and
        (instance ?ATOM Lawrencium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 262 Amu)))
Mid-level-ontology.kif 28099-28103
(=>
    (and
        (instance ?ATOM Lead)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 207.19 Amu)))
Mid-level-ontology.kif 27735-27739
(=>
    (and
        (instance ?ATOM Lithium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 6.939 Amu)))
Mid-level-ontology.kif 26345-26349
(=>
    (and
        (instance ?ATOM Lutetium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 194.967 Amu)))
Mid-level-ontology.kif 27525-27529
(=>
    (and
        (instance ?ATOM Magnesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 24.312 Amu)))
Mid-level-ontology.kif 26501-26505

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