Atom(Atomo) |
(=> (and (instance ?ATOM Unnilpentium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 262 Amu))) |
Mid-level-ontology.kif 29085-29089 |
|
(=> (and (instance ?ATOM Unnilquadium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 261 Amu))) |
Mid-level-ontology.kif 29068-29072 |
|
(=> (and (instance ?ATOM Unnilseptium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 262 Amu))) |
Mid-level-ontology.kif 29114-29118 |
|
(=> (and (instance ?ATOM Uranium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 231 Amu))) |
Mid-level-ontology.kif 28852-28856 |
|
(=> (and (instance ?ATOM Vanadium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 50.9415 Amu))) |
Mid-level-ontology.kif 27627-27631 |
|
(=> (and (instance ?ATOM Xenon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 131.30 Amu))) |
Mid-level-ontology.kif 28151-28155 |
|
(=> (and (instance ?ATOM Ytterbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 173.04 Amu))) |
Mid-level-ontology.kif 28457-28461 |
|
(=> (and (instance ?ATOM Yttrium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 88.905 Amu))) |
Mid-level-ontology.kif 27898-27902 |
|
(=> (and (instance ?ATOM Zinc) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 65.38 Amu))) |
Mid-level-ontology.kif 27747-27751 |
|
(=> (and (instance ?ATOM Zirconium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 91.22 Amu))) |
Mid-level-ontology.kif 27915-27919 |
|
(=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (part ?PROTON ?ATOM) (part ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron)))) |
Merge.kif 1113-1120 | |
(=> (instance ?ATOM Atom) (forall (?NUCLEUS1 ?NUCLEUS2) (=> (and (part ?NUCLEUS1 ?ATOM) (part ?NUCLEUS2 ?ATOM) (instance ?NUCLEUS1 AtomicNucleus) (instance ?NUCLEUS2 AtomicNucleus)) (equal ?NUCLEUS1 ?NUCLEUS2)))) |
Merge.kif 1122-1131 |