(=>     (and         (instance ?ATOM Francium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 223 Amu)))	Mid-level-ontology.kif 30699-30703	If a physical is an instance of francium and the physical is an instance of atom, then the measure of the physical is 223 amu(s)
(=>     (and         (instance ?ATOM Gadolinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 157.25 Amu)))	Mid-level-ontology.kif 30277-30281	If a physical is an instance of gadolinium and the physical is an instance of atom, then the measure of the physical is 157.25 amu(s)
(=>     (and         (instance ?ATOM Gallium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 69.72 Amu)))	Mid-level-ontology.kif 29694-29698	If a physical is an instance of gallium and the physical is an instance of atom, then the measure of the physical is 69.72 amu(s)
(=>     (and         (instance ?ATOM Germanium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 72.59 Amu)))	Mid-level-ontology.kif 29712-29716	If a physical is an instance of germanium and the physical is an instance of atom, then the measure of the physical is 72.59 amu(s)
(=>     (and         (instance ?ATOM Gold)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 196.96655 Amu)))	Mid-level-ontology.kif 30553-30557	If a physical is an instance of gold and the physical is an instance of atom, then the measure of the physical is 196.96655 amu(s)
(=>     (and         (instance ?ATOM Hafnium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 178.49 Amu)))	Mid-level-ontology.kif 30425-30429	If a physical is an instance of hafnium and the physical is an instance of atom, then the measure of the physical is 178.49 amu(s)
(=>     (and         (instance ?ATOM Helium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 4.0026 Amu)))	Mid-level-ontology.kif 29207-29211	If a physical is an instance of helium and the physical is an instance of atom, then the measure of the physical is 4.0026 amu(s)
(=>     (and         (instance ?ATOM Holmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 30330-30334	If a physical is an instance of holmium and the physical is an instance of atom, then the measure of the physical is 167.26 amu(s)
(=>     (and         (instance ?ATOM Hydrogen)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 1.0079 Amu)))	Mid-level-ontology.kif 29191-29195	If a physical is an instance of hydrogen and the physical is an instance of atom, then the measure of the physical is 1.0079 amu(s)
(=>     (and         (instance ?ATOM Indium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 114.82 Amu)))	Mid-level-ontology.kif 29999-30003	If a physical is an instance of indium and the physical is an instance of atom, then the measure of the physical is 114.82 amu(s)
(=>     (and         (instance ?ATOM Iodine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 126.904 Amu)))	Mid-level-ontology.kif 30064-30068	If a physical is an instance of iodine and the physical is an instance of atom, then the measure of the physical is 126.904 amu(s)
(=>     (and         (instance ?ATOM Iridium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 192.217 Amu)))	Mid-level-ontology.kif 30503-30507	If a physical is an instance of iridium and the physical is an instance of atom, then the measure of the physical is 192.217 amu(s)
(=>     (and         (instance ?ATOM Iron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 55.847 Amu)))	Mid-level-ontology.kif 29614-29618	If a physical is an instance of iron and the physical is an instance of atom, then the measure of the physical is 55.847 amu(s)
(=>     (and         (instance ?ATOM Krypton)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 83.80 Amu)))	Mid-level-ontology.kif 29775-29779	If a physical is an instance of krypton and the physical is an instance of atom, then the measure of the physical is 83.80 amu(s)
(=>     (and         (instance ?ATOM Lanthanum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 138.9055 Amu)))	Mid-level-ontology.kif 30141-30145	If a physical is an instance of lanthanum and the physical is an instance of atom, then the measure of the physical is 138.9055 amu(s)
(=>     (and         (instance ?ATOM Lawrencium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 30977-30981	If a physical is an instance of lawrencium and the physical is an instance of atom, then the measure of the physical is 262 amu(s)
(=>     (and         (instance ?ATOM Lead)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 207.19 Amu)))	Mid-level-ontology.kif 30613-30617	If a physical is an instance of lead and the physical is an instance of atom, then the measure of the physical is 207.19 amu(s)
(=>     (and         (instance ?ATOM Lithium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 6.939 Amu)))	Mid-level-ontology.kif 29223-29227	If a physical is an instance of lithium and the physical is an instance of atom, then the measure of the physical is 6.939 amu(s)
(=>     (and         (instance ?ATOM Lutetium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 194.967 Amu)))	Mid-level-ontology.kif 30403-30407	If a physical is an instance of lutetium and the physical is an instance of atom, then the measure of the physical is 194.967 amu(s)
(=>     (and         (instance ?ATOM Magnesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 24.312 Amu)))	Mid-level-ontology.kif 29379-29383	If a physical is an instance of magnesium and the physical is an instance of atom, then the measure of the physical is 24.312 amu(s)
(=>     (and         (instance ?ATOM Manganese)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 54.938 Amu)))	Mid-level-ontology.kif 29599-29603	If a physical is an instance of manganese and the physical is an instance of atom, then the measure of the physical is 54.938 amu(s)
(=>     (and         (instance ?ATOM Meitnerium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 266 Amu)))	Mid-level-ontology.kif 31074-31078	If a physical is an instance of meitnerium and the physical is an instance of atom, then the measure of the physical is 266 amu(s)
(=>     (and         (instance ?ATOM Mendelevium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 256 Amu)))	Mid-level-ontology.kif 30942-30946	If a physical is an instance of mendelevium and the physical is an instance of atom, then the measure of the physical is 256 amu(s)
(=>     (and         (instance ?ATOM Mercury)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 200.59 Amu)))	Mid-level-ontology.kif 30574-30578	If a physical is an instance of mercury and the physical is an instance of atom, then the measure of the physical is 200.59 amu(s)
(=>     (and         (instance ?ATOM Molybdenum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 95.94 Amu)))	Mid-level-ontology.kif 29879-29883	If a physical is an instance of molybdenum and the physical is an instance of atom, then the measure of the physical is 95.94 amu(s)
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