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 1119-1121 | |
(documentation Atom JapaneseLanguage "化学反応におけるアイデンティティを保持する非常に小さい 物質の単位。AtomicNucleus と AtomicNucleus を囲む Electrons で構成される。") | japanese_format.kif 185-186 | |
(documentation Atom SpanishLanguage "Un elemento muy pequeño que retiene su identidad en reacciones químicas. Consiste en un AtomicNucleus y unos Electrons alrededor del AtomicNucleus.") | spanish_format.kif 220-222 | |
(externalImage Atom "http://articulatesoftware.com/SUMOpictures/education/ Atom_01.png") | pictureList.kif 244-244 | |
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/2/23/ Helium_atom_QM.svg") | pictureList.kif 2109-2109 | |
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Atom.svg") | pictureList.kif 1648-1648 | |
(subclass Atom ElementalSubstance) | Merge.kif 1118-1118 | Atom is a subclass of elemental substance |
appearance as argument number 2 |
![]() |
(subclass FreeAtom Atom) | Mid-level-ontology.kif 23286-23286 | Free atom is a subclass of atom |
(termFormat ChineseLanguage Atom "原子") | chinese_format.kif 821-821 | Free atom is a subclass of atom |
(termFormat EnglishLanguage Atom "atom") | english_format.kif 844-844 | Free atom is a subclass of atom |
(termFormat FrenchLanguage Atom "atome") | french_format.kif 497-497 | Free atom is a subclass of atom |
(termFormat Hindi Atom "aNu") | terms-hindi.txt 30-30 | Free atom is a subclass of atom |
(termFormat ItalianLanguage Atom "Atomo") | terms-it.txt 33-33 | Free atom is a subclass of atom |
(termFormat JapaneseLanguage Atom "原子") | japanese_format.kif 2182-2182 | Free atom is a subclass of atom |
(termFormat PortugueseLanguage Atom "Atomo") | portuguese_format.kif 449-449 | Free atom is a subclass of atom |
(termFormat cb Atom "gamay sa ubos") | terms-cb.txt 35-35 | Free atom is a subclass of atom |
(termFormat cb Atom "gamay") | terms-cb.txt 34-34 | Free atom is a subclass of atom |
(termFormat cz Atom "atom") | terms-cz.txt 64-64 | Free atom is a subclass of atom |
(termFormat de Atom "Atom") | terms-de.txt 323-323 | Free atom is a subclass of atom |
(termFormat ro Atom "atom") | relations-ro.kif 518-518 | Free atom is a subclass of atom |
(termFormat tg Atom "atom") | terms-tg.txt 34-34 | Free atom is a subclass of atom |
antecedent |
![]() |
(=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu))) |
Mid-level-ontology.kif 30731-30735 |
|
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 29397-29401 |
|
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 30837-30841 |
|
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 30031-30035 |
|
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 29480-29484 |
|
(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu))) |
Mid-level-ontology.kif 29728-29732 |
|
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 30664-30668 |
|
(=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu))) |
Mid-level-ontology.kif 30125-30129 |
|
(=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 30871-30875 |
|
(=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 29237-29241 |
|
(=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu))) |
Mid-level-ontology.kif 30629-30633 |
|
(=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 29253-29257 |
|
(=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu))) |
Mid-level-ontology.kif 29759-29763 |
|
(=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu))) |
Mid-level-ontology.kif 29983-29987 |
|
(=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu))) |
Mid-level-ontology.kif 30099-30103 |
|
(=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 29511-29515 |
|
(=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu))) |
Mid-level-ontology.kif 30888-30892 |
|
(=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 29272-29276 |
|
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 30161-30165 |
|
(=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 29463-29467 |
|
(=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 29585-29589 |
|
(=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu))) |
Mid-level-ontology.kif 29631-29635 |
|
(=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 29662-29666 |
|
(=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 30854-30858 |
|
(=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 30309-30313 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
![]() |
![]() |