Atom
|
|
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 1109-1111 | |
(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 2110-2110 | |
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Atom.svg") | pictureList.kif 1649-1649 | |
(subclass Atom ElementalSubstance) | Merge.kif 1108-1108 | Atome est une sous-classe de substance �l�mentaire |
appearance as argument number 2 |
(subclass FreeAtom Atom) | Mid-level-ontology.kif 21668-21668 | FreeAtom est une sous-classe de atome |
(termFormat ChineseLanguage Atom "原子") | chinese_format.kif 821-821 | |
(termFormat EnglishLanguage Atom "atom") | english_format.kif 844-844 | |
(termFormat FrenchLanguage Atom "atome") | french_format.kif 497-497 | |
(termFormat Hindi Atom "aNu") | terms-hindi.txt 30-30 | |
(termFormat ItalianLanguage Atom "Atomo") | terms-it.txt 33-33 | |
(termFormat JapaneseLanguage Atom "原子") | japanese_format.kif 2182-2182 | |
(termFormat PortugueseLanguage Atom "Atomo") | portuguese_format.kif 449-449 | |
(termFormat cb Atom "gamay sa ubos") | terms-cb.txt 35-35 | |
(termFormat cb Atom "gamay") | terms-cb.txt 34-34 | |
(termFormat cz Atom "atom") | terms-cz.txt 64-64 | |
(termFormat ro Atom "atom") | relations-ro.kif 518-518 | |
(termFormat tg Atom "atom") | terms-tg.txt 34-34 |
antecedent |
(=> (and (instance ?ATOM Actinium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 227 Amu))) |
Mid-level-ontology.kif 28800-28804 | |
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 27466-27470 | |
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu))) |
Mid-level-ontology.kif 28906-28910 | |
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu))) |
Mid-level-ontology.kif 28100-28104 | |
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 27549-27553 | |
(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu))) |
Mid-level-ontology.kif 27797-27801 | |
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu))) |
Mid-level-ontology.kif 28733-28737 | |
(=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu))) |
Mid-level-ontology.kif 28194-28198 | |
(=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 28940-28944 | |
(=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 27306-27310 | |
(=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu))) |
Mid-level-ontology.kif 28698-28702 | |
(=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 27322-27326 | |
(=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu))) |
Mid-level-ontology.kif 27828-27832 | |
(=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu))) |
Mid-level-ontology.kif 28052-28056 | |
(=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu))) |
Mid-level-ontology.kif 28168-28172 | |
(=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 27580-27584 | |
(=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu))) |
Mid-level-ontology.kif 28957-28961 | |
(=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 27341-27345 | |
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu))) |
Mid-level-ontology.kif 28230-28234 | |
(=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 27532-27536 | |
(=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu))) |
Mid-level-ontology.kif 27654-27658 | |
(=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu))) |
Mid-level-ontology.kif 27700-27704 | |
(=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu))) |
Mid-level-ontology.kif 27731-27735 | |
(=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu))) |
Mid-level-ontology.kif 28923-28927 | |
(=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 28378-28382 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |