|
| (=> (and (instance ?ATOM Francium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 223 Amu))) |
Mid-level-ontology.kif 28831-28835 | |
| (=> (and (instance ?ATOM Gadolinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 157.25 Amu))) |
Mid-level-ontology.kif 28409-28413 | |
| (=> (and (instance ?ATOM Gallium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 69.72 Amu))) |
Mid-level-ontology.kif 27826-27830 | |
| (=> (and (instance ?ATOM Germanium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 72.59 Amu))) |
Mid-level-ontology.kif 27844-27848 | |
| (=> (and (instance ?ATOM Gold) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 196.96655 Amu))) |
Mid-level-ontology.kif 28685-28689 | |
| (=> (and (instance ?ATOM Hafnium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 178.49 Amu))) |
Mid-level-ontology.kif 28557-28561 | |
| (=> (and (instance ?ATOM Helium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 4.0026 Amu))) |
Mid-level-ontology.kif 27339-27343 | |
| (=> (and (instance ?ATOM Holmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 28462-28466 | |
| (=> (and (instance ?ATOM Hydrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 1.0079 Amu))) |
Mid-level-ontology.kif 27323-27327 | |
| (=> (and (instance ?ATOM Indium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 114.82 Amu))) |
Mid-level-ontology.kif 28131-28135 | |
| (=> (and (instance ?ATOM Iodine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 126.904 Amu))) |
Mid-level-ontology.kif 28196-28200 | |
| (=> (and (instance ?ATOM Iridium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 192.217 Amu))) |
Mid-level-ontology.kif 28635-28639 | |
| (=> (and (instance ?ATOM Iron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 55.847 Amu))) |
Mid-level-ontology.kif 27746-27750 | |
| (=> (and (instance ?ATOM Krypton) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 83.80 Amu))) |
Mid-level-ontology.kif 27907-27911 | |
| (=> (and (instance ?ATOM Lanthanum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 138.9055 Amu))) |
Mid-level-ontology.kif 28273-28277 | |
| (=> (and (instance ?ATOM Lawrencium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 262 Amu))) |
Mid-level-ontology.kif 29109-29113 | |
| (=> (and (instance ?ATOM Lead) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 207.19 Amu))) |
Mid-level-ontology.kif 28745-28749 | |
| (=> (and (instance ?ATOM Lithium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 6.939 Amu))) |
Mid-level-ontology.kif 27355-27359 | |
| (=> (and (instance ?ATOM Lutetium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 194.967 Amu))) |
Mid-level-ontology.kif 28535-28539 | |
| (=> (and (instance ?ATOM Magnesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 24.312 Amu))) |
Mid-level-ontology.kif 27511-27515 | |
| (=> (and (instance ?ATOM Manganese) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 54.938 Amu))) |
Mid-level-ontology.kif 27731-27735 | |
| (=> (and (instance ?ATOM Meitnerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 266 Amu))) |
Mid-level-ontology.kif 29206-29210 | |
| (=> (and (instance ?ATOM Mendelevium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 256 Amu))) |
Mid-level-ontology.kif 29074-29078 | |
| (=> (and (instance ?ATOM Mercury) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 200.59 Amu))) |
Mid-level-ontology.kif 28706-28710 | |
| (=> (and (instance ?ATOM Molybdenum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 95.94 Amu))) |
Mid-level-ontology.kif 28011-28015 | |
| 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