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 | Atomo è una sottoclasse di SostanzaElementare |
appearance as argument number 2 |
(subclass FreeAtom Atom) | Mid-level-ontology.kif 21696-21696 | FreeAtom è una sottoclasse di Atomo |
(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 |
consequent |
(=> (and (instance ?CD CarbonDioxide) (instance ?CD Molecule)) (exists (?C ?O1 ?O2) (and (instance ?C Carbon) (instance ?O1 Oxygen) (instance ?O2 Oxygen) (instance ?C Atom) (instance ?O1 Atom) (instance ?O2 Atom) (part ?C ?CD) (part ?O1 ?CD) (part ?O2 ?CD) (not (equal ?O1 ?O2))))) |
Food.kif 3414-3429 |
|
(=> (atomicNumber ?TYPE ?NUMBER) (=> (and (instance ?SUBSTANCE ?TYPE) (part ?ATOM ?SUBSTANCE) (instance ?ATOM Atom)) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton))))))) |
Merge.kif 13824-13836 | |
(=> (electronNumber ?SUBSTANCE ?NUMBER) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?ELECTRON) (equal ?NUMBER (CardinalityFn (KappaFn ?ELECTRON (and (part ?ELECTRON ?ATOM) (instance ?ELECTRON Electron)))))))) |
Mid-level-ontology.kif 21740-21755 | |
(=> (instance ?G AtomicGroup) (exists (?ATOM1 ?ATOM2) (and (instance ?ATOM1 Atom) (instance ?ATOM2 Atom) (not (equal ?ATOM1 ?ATOM2)) (part ?ATOM1 ?G) (part ?ATOM2 ?G)))) |
Mid-level-ontology.kif 21786-21794 | |
(=> (instance ?MOLE Molecule) (exists (?ATOM1 ?ATOM2) (and (instance ?ATOM1 Atom) (instance ?ATOM2 Atom) (part ?ATOM1 ?MOLE) (part ?ATOM2 ?MOLE) (not (equal ?ATOM1 ?ATOM2))))) |
Merge.kif 15716-15725 | |
(=> (instance ?PARTICLE SubatomicParticle) (exists (?ATOM) (and (instance ?ATOM Atom) (component ?PARTICLE ?ATOM)))) |
Merge.kif 1138-1143 | |
(=> (protonNumber ?SUBSTANCE ?NUMBER) (=> (exists (?ATOM) (and (part ?ATOM ?SUBSTANCE) (or (instance ?ATOM Atom) (instance ?ATOM Molecule)))) (exists (?PROTON) (equal ?NUMBER (CardinalityFn (KappaFn ?PROTON (and (part ?PROTON ?ATOM) (instance ?PROTON Proton)))))))) |
Mid-level-ontology.kif 21715-21730 |