(=>
(and
(instance ?ATOM Hydrogen)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 1.0079 Amu))) |
Mid-level-ontology.kif 29898-29902 |
If X is an instance of hydrogen and X is an instance of atom, then the measure of X is 1.0079 amu(s) |
(=>
(and
(instance ?ATOM Helium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 4.0026 Amu))) |
Mid-level-ontology.kif 29914-29918 |
If X is an instance of helium and X is an instance of atom, then the measure of X is 4.0026 amu(s) |
(=>
(and
(instance ?ATOM Lithium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 6.939 Amu))) |
Mid-level-ontology.kif 29930-29934 |
If X is an instance of lithium and X is an instance of atom, then the measure of X is 6.939 amu(s) |
(=>
(and
(instance ?ATOM Beryllium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 29944-29948 |
If X is an instance of beryllium and X is an instance of atom, then the measure of X is 9.0122 amu(s) |
(=>
(and
(instance ?ATOM Boron)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 29960-29964 |
If X is an instance of boron and X is an instance of atom, then the measure of X is 10.811 amu(s) |
(=>
(and
(instance ?ATOM Carbon)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 29979-29983 |
If X is an instance of carbon and X is an instance of atom, then the measure of X is 12.01115 amu(s) |
(=>
(and
(instance ?ATOM Nitrogen)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 29997-30001 |
If X is an instance of nitrogen and X is an instance of atom, then the measure of X is 14.0067 amu(s) |
(=>
(and
(instance ?ATOM Oxygen)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 30015-30019 |
If X is an instance of oxygen and X is an instance of atom, then the measure of X is 15.9994 amu(s) |
(=>
(and
(instance ?ATOM Fluorine)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 18.9984 Amu))) |
Mid-level-ontology.kif 30035-30039 |
If X is an instance of fluorine and X is an instance of atom, then the measure of X is 18.9984 amu(s) |
(=>
(and
(instance ?ATOM Neon)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 20.183 Amu))) |
Mid-level-ontology.kif 30052-30056 |
If X is an instance of neon and X is an instance of atom, then the measure of X is 20.183 amu(s) |
(=>
(and
(instance ?ATOM Sodium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 22.9898 Amu))) |
Mid-level-ontology.kif 30070-30074 |
If X is an instance of sodium and X is an instance of atom, then the measure of X is 22.9898 amu(s) |
(=>
(and
(instance ?ATOM Magnesium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 24.312 Amu))) |
Mid-level-ontology.kif 30086-30090 |
If X is an instance of magnesium and X is an instance of atom, then the measure of X is 24.312 amu(s) |
(=>
(and
(instance ?ATOM Aluminum)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 30104-30108 |
If X is an instance of aluminum and X is an instance of atom, then the measure of X is 26.9815 amu(s) |
(=>
(and
(instance ?ATOM Silicon)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 28.086 Amu))) |
Mid-level-ontology.kif 30122-30126 |
If X is an instance of silicon and X is an instance of atom, then the measure of X is 28.086 amu(s) |
(=>
(and
(instance ?ATOM Phosphorus)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 30.9738 Amu))) |
Mid-level-ontology.kif 30139-30143 |
If X is an instance of phosphorus and X is an instance of atom, then the measure of X is 30.9738 amu(s) |
(=>
(and
(instance ?ATOM Sulphur)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 32.064 Amu))) |
Mid-level-ontology.kif 30154-30158 |
If X is an instance of sulphur and X is an instance of atom, then the measure of X is 32.064 amu(s) |
(=>
(and
(instance ?ATOM Chlorine)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 30170-30174 |
If X is an instance of chlorine and X is an instance of atom, then the measure of X is 35.453 amu(s) |
(=>
(and
(instance ?ATOM Argon)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 30187-30191 |
If X is an instance of argon and X is an instance of atom, then the measure of X is 39.948 amu(s) |
(=>
(and
(instance ?ATOM Potassium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 39.0983 Amu))) |
Mid-level-ontology.kif 30202-30206 |
If X is an instance of potassium and X is an instance of atom, then the measure of X is 39.0983 amu(s) |
(=>
(and
(instance ?ATOM Calcium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 30218-30222 |
If X is an instance of calcium and X is an instance of atom, then the measure of X is 40.08 amu(s) |
(=>
(and
(instance ?ATOM Scandium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 44.956 Amu))) |
Mid-level-ontology.kif 30233-30237 |
If X is an instance of scandium and X is an instance of atom, then the measure of X is 44.956 amu(s) |
(=>
(and
(instance ?ATOM Titanium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 47.90 Amu))) |
Mid-level-ontology.kif 30249-30253 |
If X is an instance of titanium and X is an instance of atom, then the measure of X is 47.90 amu(s) |
(=>
(and
(instance ?ATOM Vanadium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 50.9415 Amu))) |
Mid-level-ontology.kif 30265-30269 |
If X is an instance of vanadium and X is an instance of atom, then the measure of X is 50.9415 amu(s) |
(=>
(and
(instance ?ATOM Chromium)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 30292-30296 |
If X is an instance of chromium and X is an instance of atom, then the measure of X is 51.996 amu(s) |
(=>
(and
(instance ?ATOM Manganese)
(instance ?ATOM Atom))
(measure ?ATOM
(MeasureFn 54.938 Amu))) |
Mid-level-ontology.kif 30306-30310 |
If X is an instance of manganese and X is an instance of atom, then the measure of X is 54.938 amu(s) |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
Diphosgene
