MeasureFn

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


(=>
    (and
        (instance ?ATOM Krypton)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 83.80 Amu)))
Mid-level-ontology.kif 27844-27848
(=>
    (and
        (instance ?ATOM Lanthanum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 138.9055 Amu)))
Mid-level-ontology.kif 28210-28214
(=>
    (and
        (instance ?ATOM Lawrencium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 262 Amu)))
Mid-level-ontology.kif 29046-29050
(=>
    (and
        (instance ?ATOM Lead)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 207.19 Amu)))
Mid-level-ontology.kif 28682-28686
(=>
    (and
        (instance ?ATOM Lithium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 6.939 Amu)))
Mid-level-ontology.kif 27292-27296
(=>
    (and
        (instance ?ATOM Lutetium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 194.967 Amu)))
Mid-level-ontology.kif 28472-28476
(=>
    (and
        (instance ?ATOM Magnesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 24.312 Amu)))
Mid-level-ontology.kif 27448-27452
(=>
    (and
        (instance ?ATOM Manganese)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 54.938 Amu)))
Mid-level-ontology.kif 27668-27672
(=>
    (and
        (instance ?ATOM Meitnerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 266 Amu)))
Mid-level-ontology.kif 29143-29147
(=>
    (and
        (instance ?ATOM Mendelevium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 256 Amu)))
Mid-level-ontology.kif 29011-29015
(=>
    (and
        (instance ?ATOM Mercury)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 200.59 Amu)))
Mid-level-ontology.kif 28643-28647
(=>
    (and
        (instance ?ATOM Molybdenum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 95.94 Amu)))
Mid-level-ontology.kif 27948-27952
(=>
    (and
        (instance ?ATOM Neodymium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 144.24 Amu)))
Mid-level-ontology.kif 28263-28267
(=>
    (and
        (instance ?ATOM Neon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 20.183 Amu)))
Mid-level-ontology.kif 27414-27418
(=>
    (and
        (instance ?ATOM Neptunium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 237 Amu)))
Mid-level-ontology.kif 28868-28872
(=>
    (and
        (instance ?ATOM Nickel)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.71 Amu)))
Mid-level-ontology.kif 27717-27721
(=>
    (and
        (instance ?ATOM Niobium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 92.906 Amu)))
Mid-level-ontology.kif 27931-27935
(=>
    (and
        (instance ?ATOM Nitrogen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 14.0067 Amu)))
Mid-level-ontology.kif 27359-27363
(=>
    (and
        (instance ?ATOM Nobelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 254 Amu)))
Mid-level-ontology.kif 29029-29033
(=>
    (and
        (instance ?ATOM Osmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 190.2 Amu)))
Mid-level-ontology.kif 28558-28562
(=>
    (and
        (instance ?ATOM Oxygen)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 15.9994 Amu)))
Mid-level-ontology.kif 27377-27381
(=>
    (and
        (instance ?ATOM Palladium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 106.4 Amu)))
Mid-level-ontology.kif 28021-28025
(=>
    (and
        (instance ?ATOM Phosphorus)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 30.9738 Amu)))
Mid-level-ontology.kif 27501-27505
(=>
    (and
        (instance ?ATOM Platinum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 195.078 Amu)))
Mid-level-ontology.kif 28596-28600
(=>
    (and
        (instance ?ATOM Plutonium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 242 Amu)))
Mid-level-ontology.kif 28886-28890

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