(=>     (and         (instance ?ATOM Francium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 223 Amu)))	Mid-level-ontology.kif 26961-26965	If an object is an instance of francium and the object is an instance of atom, then the measure of the object is 223 amu(s)
(=>     (and         (instance ?ATOM Gadolinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 157.25 Amu)))	Mid-level-ontology.kif 26562-26566	If an object is an instance of gadolinium and the object is an instance of atom, then the measure of the object is 157.25 amu(s)
(=>     (and         (instance ?ATOM Gallium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 69.72 Amu)))	Mid-level-ontology.kif 26012-26016	If an object is an instance of gallium and the object is an instance of atom, then the measure of the object is 69.72 amu(s)
(=>     (and         (instance ?ATOM Germanium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 72.59 Amu)))	Mid-level-ontology.kif 26029-26033	If an object is an instance of germanium and the object is an instance of atom, then the measure of the object is 72.59 amu(s)
(=>     (and         (instance ?ATOM Gold)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 196.96655 Amu)))	Mid-level-ontology.kif 26823-26827	If an object is an instance of gold and the object is an instance of atom, then the measure of the object is 196.96655 amu(s)
(=>     (and         (instance ?ATOM Hafnium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 178.49 Amu)))	Mid-level-ontology.kif 26702-26706	If an object is an instance of hafnium and the object is an instance of atom, then the measure of the object is 178.49 amu(s)
(=>     (and         (instance ?ATOM Helium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 4.0026 Amu)))	Mid-level-ontology.kif 25554-25558	If an object is an instance of helium and the object is an instance of atom, then the measure of the object is 4.0026 amu(s)
(=>     (and         (instance ?ATOM Holmium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 167.26 Amu)))	Mid-level-ontology.kif 26612-26616	If an object is an instance of holmium and the object is an instance of atom, then the measure of the object is 167.26 amu(s)
(=>     (and         (instance ?ATOM Hydrogen)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 1.0079 Amu)))	Mid-level-ontology.kif 25539-25543	If an object is an instance of hydrogen and the object is an instance of atom, then the measure of the object is 1.0079 amu(s)
(=>     (and         (instance ?ATOM Indium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 114.82 Amu)))	Mid-level-ontology.kif 26299-26303	If an object is an instance of indium and the object is an instance of atom, then the measure of the object is 114.82 amu(s)
(=>     (and         (instance ?ATOM Iodine)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 126.904 Amu)))	Mid-level-ontology.kif 26360-26364	If an object is an instance of iodine and the object is an instance of atom, then the measure of the object is 126.904 amu(s)
(=>     (and         (instance ?ATOM Iridium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 192.217 Amu)))	Mid-level-ontology.kif 26775-26779	If an object is an instance of iridium and the object is an instance of atom, then the measure of the object is 192.217 amu(s)
(=>     (and         (instance ?ATOM Iron)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 55.847 Amu)))	Mid-level-ontology.kif 25937-25941	If an object is an instance of iron and the object is an instance of atom, then the measure of the object is 55.847 amu(s)
(=>     (and         (instance ?ATOM Krypton)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 83.80 Amu)))	Mid-level-ontology.kif 26088-26092	If an object is an instance of krypton and the object is an instance of atom, then the measure of the object is 83.80 amu(s)
(=>     (and         (instance ?ATOM Lanthanum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 138.9055 Amu)))	Mid-level-ontology.kif 26433-26437	If an object is an instance of lanthanum and the object is an instance of atom, then the measure of the object is 138.9055 amu(s)
(=>     (and         (instance ?ATOM Lawrencium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 262 Amu)))	Mid-level-ontology.kif 27223-27227	If an object is an instance of lawrencium and the object is an instance of atom, then the measure of the object is 262 amu(s)
(=>     (and         (instance ?ATOM Lead)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 207.19 Amu)))	Mid-level-ontology.kif 26880-26884	If an object is an instance of lead and the object is an instance of atom, then the measure of the object is 207.19 amu(s)
(=>     (and         (instance ?ATOM Lithium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 6.939 Amu)))	Mid-level-ontology.kif 25569-25573	If an object is an instance of lithium and the object is an instance of atom, then the measure of the object is 6.939 amu(s)
(=>     (and         (instance ?ATOM Lutetium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 194.967 Amu)))	Mid-level-ontology.kif 26681-26685	If an object is an instance of lutetium and the object is an instance of atom, then the measure of the object is 194.967 amu(s)
(=>     (and         (instance ?ATOM Magnesium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 24.312 Amu)))	Mid-level-ontology.kif 25716-25720	If an object is an instance of magnesium and the object is an instance of atom, then the measure of the object is 24.312 amu(s)
(=>     (and         (instance ?ATOM Manganese)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 54.938 Amu)))	Mid-level-ontology.kif 25923-25927	If an object is an instance of manganese and the object is an instance of atom, then the measure of the object is 54.938 amu(s)
(=>     (and         (instance ?ATOM Meitnerium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 266 Amu)))	Mid-level-ontology.kif 27314-27318	If an object is an instance of meitnerium and the object is an instance of atom, then the measure of the object is 266 amu(s)
(=>     (and         (instance ?ATOM Mendelevium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 256 Amu)))	Mid-level-ontology.kif 27190-27194	If an object is an instance of mendelevium and the object is an instance of atom, then the measure of the object is 256 amu(s)
(=>     (and         (instance ?ATOM Mercury)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 200.59 Amu)))	Mid-level-ontology.kif 26843-26847	If an object is an instance of mercury and the object is an instance of atom, then the measure of the object is 200.59 amu(s)
(=>     (and         (instance ?ATOM Molybdenum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 95.94 Amu)))	Mid-level-ontology.kif 26186-26190	If an object is an instance of molybdenum and the object is an instance of atom, then the measure of the object 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners