(=>     (and         (instance ?ATOM Polonium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 210 Amu)))	Mid-level-ontology.kif 28716-28720	If a physical is an instance of polonium and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
(=>     (and         (instance ?ATOM Potassium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 39.0983 Amu)))	Mid-level-ontology.kif 27564-27568	If a physical is an instance of potassium and the physical is an instance of atom, then the measure of the physical is 39.0983 amu(s)
(=>     (and         (instance ?ATOM Praseodymium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 140.907 Amu)))	Mid-level-ontology.kif 28247-28251	If a physical is an instance of praseodymium and the physical is an instance of atom, then the measure of the physical is 140.907 amu(s)
(=>     (and         (instance ?ATOM Promethium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 147 Amu)))	Mid-level-ontology.kif 28289-28293	If a physical is an instance of promethium and the physical is an instance of atom, then the measure of the physical is 147 amu(s)
(=>     (and         (instance ?ATOM Protactinium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 231 Amu)))	Mid-level-ontology.kif 28835-28839	If a physical is an instance of protactinium and the physical is an instance of atom, then the measure of the physical is 231 amu(s)
(=>     (and         (instance ?ATOM Radium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 226 Amu)))	Mid-level-ontology.kif 28784-28788	If a physical is an instance of radium and the physical is an instance of atom, then the measure of the physical is 226 amu(s)
(=>     (and         (instance ?ATOM Radon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 222 Amu)))	Mid-level-ontology.kif 28750-28754	If a physical is an instance of radon and the physical is an instance of atom, then the measure of the physical is 222 amu(s)
(=>     (and         (instance ?ATOM Rhenium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 186.2 Amu)))	Mid-level-ontology.kif 28543-28547	If a physical is an instance of rhenium and the physical is an instance of atom, then the measure of the physical is 186.2 amu(s)
(=>     (and         (instance ?ATOM Rhodium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 102.905 Amu)))	Mid-level-ontology.kif 28006-28010	If a physical is an instance of rhodium and the physical is an instance of atom, then the measure of the physical is 102.905 amu(s)
(=>     (and         (instance ?ATOM Rubidium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 85.47 Amu)))	Mid-level-ontology.kif 27864-27868	If a physical is an instance of rubidium and the physical is an instance of atom, then the measure of the physical is 85.47 amu(s)
(=>     (and         (instance ?ATOM Ruthenium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 101.07 Amu)))	Mid-level-ontology.kif 27990-27994	If a physical is an instance of ruthenium and the physical is an instance of atom, then the measure of the physical is 101.07 amu(s)
(=>     (and         (instance ?ATOM Samarium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 150.35 Amu)))	Mid-level-ontology.kif 28309-28313	If a physical is an instance of samarium and the physical is an instance of atom, then the measure of the physical is 150.35 amu(s)
(=>     (and         (instance ?ATOM Scandium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 44.956 Amu)))	Mid-level-ontology.kif 27595-27599	If a physical is an instance of scandium and the physical is an instance of atom, then the measure of the physical is 44.956 amu(s)
(=>     (and         (instance ?ATOM Selenium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 78.96 Amu)))	Mid-level-ontology.kif 27813-27817	If a physical is an instance of selenium and the physical is an instance of atom, then the measure of the physical is 78.96 amu(s)
(=>     (and         (instance ?ATOM Silicon)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 28.086 Amu)))	Mid-level-ontology.kif 27484-27488	If a physical is an instance of silicon and the physical is an instance of atom, then the measure of the physical is 28.086 amu(s)
(=>     (and         (instance ?ATOM Silver)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 107.870 Amu)))	Mid-level-ontology.kif 28037-28041	If a physical is an instance of silver and the physical is an instance of atom, then the measure of the physical is 107.870 amu(s)
(=>     (and         (instance ?ATOM Sodium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 22.9898 Amu)))	Mid-level-ontology.kif 27432-27436	If a physical is an instance of sodium and the physical is an instance of atom, then the measure of the physical is 22.9898 amu(s)
(=>     (and         (instance ?ATOM Strontium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 87.62 Amu)))	Mid-level-ontology.kif 27881-27885	If a physical is an instance of strontium and the physical is an instance of atom, then the measure of the physical is 87.62 amu(s)
(=>     (and         (instance ?ATOM Sulphur)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 32.064 Amu)))	Mid-level-ontology.kif 27516-27520	If a physical is an instance of sulphur and the physical is an instance of atom, then the measure of the physical is 32.064 amu(s)
(=>     (and         (instance ?ATOM Tantalum)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 180.948 Amu)))	Mid-level-ontology.kif 28510-28514	If a physical is an instance of tantalum and the physical is an instance of atom, then the measure of the physical is 180.948 amu(s)
(=>     (and         (instance ?ATOM Technetium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 98 Amu)))	Mid-level-ontology.kif 27971-27975	If a physical is an instance of technetium and the physical is an instance of atom, then the measure of the physical is 98 amu(s)
(=>     (and         (instance ?ATOM Tellurium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 127.60 Amu)))	Mid-level-ontology.kif 28117-28121	If a physical is an instance of tellurium and the physical is an instance of atom, then the measure of the physical is 127.60 amu(s)
(=>     (and         (instance ?ATOM Terbium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 158.924 Amu)))	Mid-level-ontology.kif 28363-28367	If a physical is an instance of terbium and the physical is an instance of atom, then the measure of the physical is 158.924 amu(s)
(=>     (and         (instance ?ATOM Thallium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 204.3833 Amu)))	Mid-level-ontology.kif 28660-28664	If a physical is an instance of thallium and the physical is an instance of atom, then the measure of the physical is 204.3833 amu(s)
(=>     (and         (instance ?ATOM Thorium)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 232.038 Amu)))	Mid-level-ontology.kif 28818-28822	If a physical is an instance of thorium and the physical is an instance of atom, then the measure of the physical is 232.038 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