MeasureFn

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


(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))
Mid-level-ontology.kif 28242-28246
(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))
Mid-level-ontology.kif 27544-27548
(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))
Mid-level-ontology.kif 27666-27670
(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))
Mid-level-ontology.kif 27712-27716
(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))
Mid-level-ontology.kif 27743-27747
(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 28935-28939
(=>
    (and
        (instance ?ATOM Dysprosium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 162.50 Amu)))
Mid-level-ontology.kif 28390-28394
(=>
    (and
        (instance ?ATOM Einsteinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 254 Amu)))
Mid-level-ontology.kif 28987-28991
(=>
    (and
        (instance ?ATOM Erbium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 167.26 Amu)))
Mid-level-ontology.kif 28436-28440
(=>
    (and
        (instance ?ATOM Europium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 151.25 Amu)))
Mid-level-ontology.kif 28342-28346
(=>
    (and
        (instance ?ATOM Fermium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 253 Amu)))
Mid-level-ontology.kif 29007-29011
(=>
    (and
        (instance ?ATOM Fluorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 18.9984 Amu)))
Mid-level-ontology.kif 27409-27413
(=>
    (and
        (instance ?ATOM Francium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 223 Amu)))
Mid-level-ontology.kif 28780-28784
(=>
    (and
        (instance ?ATOM Gadolinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 157.25 Amu)))
Mid-level-ontology.kif 28358-28362
(=>
    (and
        (instance ?ATOM Gallium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 69.72 Amu)))
Mid-level-ontology.kif 27775-27779
(=>
    (and
        (instance ?ATOM Germanium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 72.59 Amu)))
Mid-level-ontology.kif 27793-27797
(=>
    (and
        (instance ?ATOM Gold)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 196.96655 Amu)))
Mid-level-ontology.kif 28634-28638
(=>
    (and
        (instance ?ATOM Hafnium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 178.49 Amu)))
Mid-level-ontology.kif 28506-28510
(=>
    (and
        (instance ?ATOM Helium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 4.0026 Amu)))
Mid-level-ontology.kif 27288-27292
(=>
    (and
        (instance ?ATOM Holmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 167.26 Amu)))
Mid-level-ontology.kif 28411-28415
(=>
    (and
        (instance ?ATOM Hydrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 1.0079 Amu)))
Mid-level-ontology.kif 27272-27276
(=>
    (and
        (instance ?ATOM Indium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 114.82 Amu)))
Mid-level-ontology.kif 28080-28084
(=>
    (and
        (instance ?ATOM Iodine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 126.904 Amu)))
Mid-level-ontology.kif 28145-28149
(=>
    (and
        (instance ?ATOM Iridium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 192.217 Amu)))
Mid-level-ontology.kif 28584-28588
(=>
    (and
        (instance ?ATOM Iron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 55.847 Amu)))
Mid-level-ontology.kif 27695-27699

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