(=>     (and         (instance ?ATOM Arsenic)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 26044-26048	If an object is an instance of arsenic and the object is an instance of atom, then the measure of the object is 74.922 amu(s)
(=>     (and         (instance ?ATOM Astatine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 210 Amu)))	Mid-level-ontology.kif 26928-26932	If an object is an instance of astatine and the object is an instance of atom, then the measure of the object is 210 amu(s)
(=>     (and         (instance ?ATOM Barium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 26418-26422	If an object is an instance of barium and the object is an instance of atom, then the measure of the object is 137.34 amu(s)
(=>     (and         (instance ?ATOM Berkelium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 247 Amu)))	Mid-level-ontology.kif 27123-27127	If an object is an instance of berkelium and the object is an instance of atom, then the measure of the object is 247 amu(s)
(=>     (and         (instance ?ATOM Beryllium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 25582-25586	If an object is an instance of beryllium and the object is an instance of atom, then the measure of the object is 9.0122 amu(s)
(=>     (and         (instance ?ATOM Bismuth)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 26895-26899	If an object is an instance of bismuth and the object is an instance of atom, then the measure of the object is 208.980 amu(s)
(=>     (and         (instance ?ATOM Boron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 25597-25601	If an object is an instance of boron and the object is an instance of atom, then the measure of the object is 10.811 amu(s)
(=>     (and         (instance ?ATOM Bromine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 26073-26077	If an object is an instance of bromine and the object is an instance of atom, then the measure of the object is 79.909 amu(s)
(=>     (and         (instance ?ATOM Cadmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 26284-26288	If an object is an instance of cadmium and the object is an instance of atom, then the measure of the object is 112.40 amu(s)
(=>     (and         (instance ?ATOM Caesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 26393-26397	If an object is an instance of caesium and the object is an instance of atom, then the measure of the object is 132.90545 amu(s)
(=>     (and         (instance ?ATOM Calcium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 25840-25844	If an object is an instance of calcium and the object is an instance of atom, then the measure of the object is 40.08 amu(s)
(=>     (and         (instance ?ATOM Californium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 249 Amu)))	Mid-level-ontology.kif 27139-27143	If an object is an instance of californium and the object is an instance of atom, then the measure of the object is 249 amu(s)
(=>     (and         (instance ?ATOM Carbon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 25615-25619	If an object is an instance of carbon and the object is an instance of atom, then the measure of the object is 12.01115 amu(s)
(=>     (and         (instance ?ATOM Cerium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 140.12 Amu)))	Mid-level-ontology.kif 26452-26456	If an object is an instance of cerium and the object is an instance of atom, then the measure of the object is 140.12 amu(s)
(=>     (and         (instance ?ATOM Chlorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 35.453 Amu)))	Mid-level-ontology.kif 25795-25799	If an object is an instance of chlorine and the object is an instance of atom, then the measure of the object is 35.453 amu(s)
(=>     (and         (instance ?ATOM Chromium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 51.996 Amu)))	Mid-level-ontology.kif 25910-25914	If an object is an instance of chromium and the object is an instance of atom, then the measure of the object is 51.996 amu(s)
(=>     (and         (instance ?ATOM Cobalt)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 58.993 Amu)))	Mid-level-ontology.kif 25953-25957	If an object is an instance of cobalt and the object is an instance of atom, then the measure of the object is 58.993 amu(s)
(=>     (and         (instance ?ATOM Copper)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 63.54 Amu)))	Mid-level-ontology.kif 25982-25986	If an object is an instance of copper and the object is an instance of atom, then the measure of the object is 63.54 amu(s)
(=>     (and         (instance ?ATOM Curium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 247 Amu)))	Mid-level-ontology.kif 27107-27111	If an object is an instance of curium and the object is an instance of atom, then the measure of the object is 247 amu(s)
(=>     (and         (instance ?ATOM Dysprosium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 162.50 Amu)))	Mid-level-ontology.kif 26592-26596	If an object is an instance of dysprosium and the object is an instance of atom, then the measure of the object is 162.50 amu(s)
(=>     (and         (instance ?ATOM Einsteinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 254 Amu)))	Mid-level-ontology.kif 27156-27160	If an object is an instance of einsteinium and the object is an instance of atom, then the measure of the object is 254 amu(s)
(=>     (and         (instance ?ATOM Erbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 26636-26640	If an object is an instance of erbium and the object is an instance of atom, then the measure of the object is 167.26 amu(s)
(=>     (and         (instance ?ATOM Europium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 151.25 Amu)))	Mid-level-ontology.kif 26547-26551	If an object is an instance of europium and the object is an instance of atom, then the measure of the object is 151.25 amu(s)
(=>     (and         (instance ?ATOM Fermium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 253 Amu)))	Mid-level-ontology.kif 27175-27179	If an object is an instance of fermium and the object is an instance of atom, then the measure of the object is 253 amu(s)
(=>     (and         (instance ?ATOM Fluorine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 18.9984 Amu)))	Mid-level-ontology.kif 25668-25672	If an object is an instance of fluorine and the object is an instance of atom, then the measure of the object 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners