Atom(atom)![]() | ![]() | anionic, atom, atomic, cationic, ionic, isotope, isotopic, label, monad, nonionic, nonpolar, radioisotope, superoxide, superoxide_anion |
appearance as argument number 1 |
![]() |
(documentation Atom ChineseLanguage "这是一个极小的物质单位,它能 在化学反应中保持自己的本性。它由一个 AtomicNucleus 和 以个包围着 AtomicNucleus 的 Electron 所组成。") | chinese_format.kif 1606-1608 | |
(documentation Atom EnglishLanguage "An extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus and Electrons surrounding the AtomicNucleus.") | Merge.kif 1098-1100 | |
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/2/23/ Helium_atom_QM.svg") | pictureList.kif 2111-2111 | |
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Atom.svg") | pictureList.kif 1650-1650 | |
(externalImage Atom "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ Atom_01.png") | pictureList.kif 244-244 | |
(subclass Atom ElementalSubstance) | Merge.kif 1097-1097 | Atom is a subclass of elemental substance |
appearance as argument number 2 |
![]() |
(subclass FreeAtom Atom) | Mid-level-ontology.kif 21618-21618 | Free atom is a subclass of atom |
(termFormat ChineseLanguage Atom "原子") | chinese_format.kif 821-821 | |
(termFormat EnglishLanguage Atom "atom") | english_format.kif 844-844 |
antecedent |
![]() |
(=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu))) |
Mid-level-ontology.kif 28728-28732 |
|
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 27394-27398 |
|
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 28834-28838 |
|
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 28028-28032 |
|
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 27477-27481 |
|
(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu))) |
Mid-level-ontology.kif 27725-27729 |
|
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 28661-28665 |
|
(=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu))) |
Mid-level-ontology.kif 28122-28126 |
|
(=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 28868-28872 |
|
(=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 27234-27238 |
|
(=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu))) |
Mid-level-ontology.kif 28626-28630 |
|
(=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 27250-27254 |
|
(=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu))) |
Mid-level-ontology.kif 27756-27760 |
|
(=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu))) |
Mid-level-ontology.kif 27980-27984 |
|
(=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu))) |
Mid-level-ontology.kif 28096-28100 |
|
(=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 27508-27512 |
|
(=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu))) |
Mid-level-ontology.kif 28885-28889 |
|
(=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 27269-27273 |
|
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 28158-28162 |
|
(=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 27460-27464 |
|
(=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 27582-27586 |
|
(=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu))) |
Mid-level-ontology.kif 27628-27632 |
|
(=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 27659-27663 |
|
(=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 28851-28855 |
|
(=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 28306-28310 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |