(=>     (and         (instance ?ATOM Cerium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 140.12 Amu)))	Mid-level-ontology.kif 28230-28234	If a physical is an instance of cerium and the physical is an instance of atom, then the measure of the physical is 140.12 amu(s)
(=>     (and         (instance ?ATOM Chlorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 35.453 Amu)))	Mid-level-ontology.kif 27532-27536	If a physical is an instance of chlorine and the physical is an instance of atom, then the measure of the physical is 35.453 amu(s)
(=>     (and         (instance ?ATOM Chromium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 51.996 Amu)))	Mid-level-ontology.kif 27654-27658	If a physical is an instance of chromium and the physical is an instance of atom, then the measure of the physical is 51.996 amu(s)
(=>     (and         (instance ?ATOM Cobalt)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 58.993 Amu)))	Mid-level-ontology.kif 27700-27704	If a physical is an instance of cobalt and the physical is an instance of atom, then the measure of the physical is 58.993 amu(s)
(=>     (and         (instance ?ATOM Copper)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 63.54 Amu)))	Mid-level-ontology.kif 27731-27735	If a physical is an instance of copper and the physical is an instance of atom, then the measure of the physical is 63.54 amu(s)
(=>     (and         (instance ?ATOM Curium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 247 Amu)))	Mid-level-ontology.kif 28923-28927	If a physical is an instance of curium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
(=>     (and         (instance ?ATOM Dysprosium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 162.50 Amu)))	Mid-level-ontology.kif 28378-28382	If a physical is an instance of dysprosium and the physical is an instance of atom, then the measure of the physical is 162.50 amu(s)
(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 28975-28979	If a physical is an instance of einsteinium and the physical is an instance of atom, then the measure of the physical is 254 amu(s)
(=>     (and         (instance ?ATOM Erbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 28424-28428	If a physical is an instance of erbium and the physical is an instance of atom, then the measure of the physical is 167.26 amu(s)
(=>     (and         (instance ?ATOM Europium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 151.25 Amu)))	Mid-level-ontology.kif 28330-28334	If a physical is an instance of europium and the physical is an instance of atom, then the measure of the physical is 151.25 amu(s)
(=>     (and         (instance ?ATOM Fermium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 253 Amu)))	Mid-level-ontology.kif 28995-28999	If a physical is an instance of fermium and the physical is an instance of atom, then the measure of the physical is 253 amu(s)
(=>     (and         (instance ?ATOM Fluorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 18.9984 Amu)))	Mid-level-ontology.kif 27397-27401	If a physical is an instance of fluorine and the physical is an instance of atom, then the measure of the physical is 18.9984 amu(s)
(=>     (and         (instance ?ATOM Francium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 223 Amu)))	Mid-level-ontology.kif 28768-28772	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 28346-28350	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 27763-27767	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 27781-27785	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 28622-28626	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 28494-28498	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 27276-27280	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 28399-28403	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 27260-27264	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 28068-28072	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 28133-28137	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 28572-28576	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 27683-27687	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)
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