Atom(Atomo)

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


(=>
    (and
        (instance ?ATOM Rhenium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 186.2 Amu)))
Mid-level-ontology.kif 28543-28547
(=>
    (and
        (instance ?ATOM Rhodium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 102.905 Amu)))
Mid-level-ontology.kif 28006-28010
(=>
    (and
        (instance ?ATOM Rubidium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 85.47 Amu)))
Mid-level-ontology.kif 27864-27868
(=>
    (and
        (instance ?ATOM Ruthenium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 101.07 Amu)))
Mid-level-ontology.kif 27990-27994
(=>
    (and
        (instance ?ATOM Samarium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 150.35 Amu)))
Mid-level-ontology.kif 28309-28313
(=>
    (and
        (instance ?ATOM Scandium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 44.956 Amu)))
Mid-level-ontology.kif 27595-27599
(=>
    (and
        (instance ?ATOM Selenium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 78.96 Amu)))
Mid-level-ontology.kif 27813-27817
(=>
    (and
        (instance ?ATOM Silicon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 28.086 Amu)))
Mid-level-ontology.kif 27484-27488
(=>
    (and
        (instance ?ATOM Silver)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 107.870 Amu)))
Mid-level-ontology.kif 28037-28041
(=>
    (and
        (instance ?ATOM Sodium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 22.9898 Amu)))
Mid-level-ontology.kif 27432-27436
(=>
    (and
        (instance ?ATOM Strontium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 87.62 Amu)))
Mid-level-ontology.kif 27881-27885
(=>
    (and
        (instance ?ATOM Sulphur)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 32.064 Amu)))
Mid-level-ontology.kif 27516-27520
(=>
    (and
        (instance ?ATOM Tantalum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 180.948 Amu)))
Mid-level-ontology.kif 28510-28514
(=>
    (and
        (instance ?ATOM Technetium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 98 Amu)))
Mid-level-ontology.kif 27971-27975
(=>
    (and
        (instance ?ATOM Tellurium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 127.60 Amu)))
Mid-level-ontology.kif 28117-28121
(=>
    (and
        (instance ?ATOM Terbium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 158.924 Amu)))
Mid-level-ontology.kif 28363-28367
(=>
    (and
        (instance ?ATOM Thallium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 204.3833 Amu)))
Mid-level-ontology.kif 28660-28664
(=>
    (and
        (instance ?ATOM Thorium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 232.038 Amu)))
Mid-level-ontology.kif 28818-28822
(=>
    (and
        (instance ?ATOM Thulium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 168.934 Amu)))
Mid-level-ontology.kif 28441-28445
(=>
    (and
        (instance ?ATOM Tin)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 118.69 Amu)))
Mid-level-ontology.kif 28084-28088
(=>
    (and
        (instance ?ATOM Titanium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 47.90 Amu)))
Mid-level-ontology.kif 27611-27615
(=>
    (and
        (instance ?ATOM Tungsten)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 183.85 Amu)))
Mid-level-ontology.kif 28527-28531
(=>
    (and
        (instance ?ATOM Unnildecium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 272 Amu)))
Mid-level-ontology.kif 29160-29164
(=>
    (and
        (instance ?ATOM Unnilhexium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 263 Amu)))
Mid-level-ontology.kif 29099-29103
(=>
    (and
        (instance ?ATOM Unniloctium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 265 Amu)))
Mid-level-ontology.kif 29130-29134

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