measure

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


(=>
    (and
        (instance ?ATOM Arsenic)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 74.922 Amu)))
Mid-level-ontology.kif 26069-26073
(=>
    (and
        (instance ?ATOM Astatine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))
Mid-level-ontology.kif 26953-26957
(=>
    (and
        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))
Mid-level-ontology.kif 26443-26447
(=>
    (and
        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27148-27152
(=>
    (and
        (instance ?ATOM Beryllium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 9.0122 Amu)))
Mid-level-ontology.kif 25607-25611
(=>
    (and
        (instance ?ATOM Bismuth)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 208.980 Amu)))
Mid-level-ontology.kif 26920-26924
(=>
    (and
        (instance ?ATOM Boron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 10.811 Amu)))
Mid-level-ontology.kif 25622-25626
(=>
    (and
        (instance ?ATOM Bromine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 79.909 Amu)))
Mid-level-ontology.kif 26098-26102
(=>
    (and
        (instance ?ATOM Cadmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 112.40 Amu)))
Mid-level-ontology.kif 26309-26313
(=>
    (and
        (instance ?ATOM Caesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 132.90545 Amu)))
Mid-level-ontology.kif 26418-26422
(=>
    (and
        (instance ?ATOM Calcium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 40.08 Amu)))
Mid-level-ontology.kif 25865-25869
(=>
    (and
        (instance ?ATOM Californium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 249 Amu)))
Mid-level-ontology.kif 27164-27168
(=>
    (and
        (instance ?ATOM Carbon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 12.01115 Amu)))
Mid-level-ontology.kif 25640-25644
(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))
Mid-level-ontology.kif 26477-26481
(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))
Mid-level-ontology.kif 25820-25824
(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))
Mid-level-ontology.kif 25935-25939
(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))
Mid-level-ontology.kif 25978-25982
(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))
Mid-level-ontology.kif 26007-26011
(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27132-27136
(=>
    (and
        (instance ?ATOM Dysprosium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 162.50 Amu)))
Mid-level-ontology.kif 26617-26621
(=>
    (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

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