|
| (=> (and (instance ?ATOM Manganese) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 54.938 Amu))) |
Mid-level-ontology.kif 27680-27684 | |
| (=> (and (instance ?ATOM Meitnerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 266 Amu))) |
Mid-level-ontology.kif 29155-29159 | |
| (=> (and (instance ?ATOM Mendelevium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 256 Amu))) |
Mid-level-ontology.kif 29023-29027 | |
| (=> (and (instance ?ATOM Mercury) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 200.59 Amu))) |
Mid-level-ontology.kif 28655-28659 | |
| (=> (and (instance ?ATOM Molybdenum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 95.94 Amu))) |
Mid-level-ontology.kif 27960-27964 | |
| (=> (and (instance ?ATOM Neodymium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 144.24 Amu))) |
Mid-level-ontology.kif 28275-28279 | |
| (=> (and (instance ?ATOM Neon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 20.183 Amu))) |
Mid-level-ontology.kif 27426-27430 | |
| (=> (and (instance ?ATOM Neptunium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 237 Amu))) |
Mid-level-ontology.kif 28880-28884 | |
| (=> (and (instance ?ATOM Nickel) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.71 Amu))) |
Mid-level-ontology.kif 27729-27733 | |
| (=> (and (instance ?ATOM Niobium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 92.906 Amu))) |
Mid-level-ontology.kif 27943-27947 | |
| (=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 27371-27375 | |
| (=> (and (instance ?ATOM Nobelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 254 Amu))) |
Mid-level-ontology.kif 29041-29045 | |
| (=> (and (instance ?ATOM Osmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 190.2 Amu))) |
Mid-level-ontology.kif 28570-28574 | |
| (=> (and (instance ?ATOM Oxygen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 27389-27393 | |
| (=> (and (instance ?ATOM Palladium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 106.4 Amu))) |
Mid-level-ontology.kif 28033-28037 | |
| (=> (and (instance ?ATOM Phosphorus) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 30.9738 Amu))) |
Mid-level-ontology.kif 27513-27517 | |
| (=> (and (instance ?ATOM Platinum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 195.078 Amu))) |
Mid-level-ontology.kif 28608-28612 | |
| (=> (and (instance ?ATOM Plutonium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 242 Amu))) |
Mid-level-ontology.kif 28898-28902 | |
| (=> (and (instance ?ATOM Polonium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 28728-28732 | |
| (=> (and (instance ?ATOM Potassium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.0983 Amu))) |
Mid-level-ontology.kif 27576-27580 | |
| (=> (and (instance ?ATOM Praseodymium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.907 Amu))) |
Mid-level-ontology.kif 28259-28263 | |
| (=> (and (instance ?ATOM Promethium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 147 Amu))) |
Mid-level-ontology.kif 28301-28305 | |
| (=> (and (instance ?ATOM Protactinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 231 Amu))) |
Mid-level-ontology.kif 28847-28851 | |
| (=> (and (instance ?ATOM Radium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 226 Amu))) |
Mid-level-ontology.kif 28796-28800 | |
| (=> (and (instance ?ATOM Radon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 222 Amu))) |
Mid-level-ontology.kif 28762-28766 | |
| 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