(=>     (and         (instance ?ATOM Arsenic)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 29728-29732	If a physical is an instance of arsenic and the physical is an instance of atom, then the measure of the physical is 74.922 amu(s)
(=>     (and         (instance ?ATOM Astatine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 210 Amu)))	Mid-level-ontology.kif 30664-30668	If a physical is an instance of astatine and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
(=>     (and         (instance ?ATOM Barium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 30125-30129	If a physical is an instance of barium and the physical is an instance of atom, then the measure of the physical is 137.34 amu(s)
(=>     (and         (instance ?ATOM Berkelium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 247 Amu)))	Mid-level-ontology.kif 30871-30875	If a physical is an instance of berkelium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
(=>     (and         (instance ?ATOM Beryllium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 29237-29241	If a physical is an instance of beryllium and the physical is an instance of atom, then the measure of the physical is 9.0122 amu(s)
(=>     (and         (instance ?ATOM Bismuth)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 30629-30633	If a physical is an instance of bismuth and the physical is an instance of atom, then the measure of the physical is 208.980 amu(s)
(=>     (and         (instance ?ATOM Boron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 29253-29257	If a physical is an instance of boron and the physical is an instance of atom, then the measure of the physical is 10.811 amu(s)
(=>     (and         (instance ?ATOM Bromine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 29759-29763	If a physical is an instance of bromine and the physical is an instance of atom, then the measure of the physical is 79.909 amu(s)
(=>     (and         (instance ?ATOM Cadmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 29983-29987	If a physical is an instance of cadmium and the physical is an instance of atom, then the measure of the physical is 112.40 amu(s)
(=>     (and         (instance ?ATOM Caesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 30099-30103	If a physical is an instance of caesium and the physical is an instance of atom, then the measure of the physical is 132.90545 amu(s)
(=>     (and         (instance ?ATOM Calcium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 29511-29515	If a physical is an instance of calcium and the physical is an instance of atom, then the measure of the physical is 40.08 amu(s)
(=>     (and         (instance ?ATOM Californium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 249 Amu)))	Mid-level-ontology.kif 30888-30892	If a physical is an instance of californium and the physical is an instance of atom, then the measure of the physical is 249 amu(s)
(=>     (and         (instance ?ATOM Carbon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 29272-29276	If a physical is an instance of carbon and the physical is an instance of atom, then the measure of the physical is 12.01115 amu(s)
(=>     (and         (instance ?ATOM Cerium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 140.12 Amu)))	Mid-level-ontology.kif 30161-30165	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 29463-29467	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 29585-29589	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 29631-29635	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 29662-29666	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 30854-30858	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 30309-30313	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 30906-30910	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 30355-30359	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 30261-30265	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 30926-30930	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 29328-29332	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)
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