Atom - Sigma Knowledge base Browser

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	Atom is a subclass of elemental substance

appearance as argument number 2

(subclass FreeAtom Atom)	Mid-level-ontology.kif 21696-21696	Free atom is a subclass of atom
(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 28863-28867	If a physical is an instance of actinium and the physical is an instance of atom, then the measure of the physical is 227 amu(s)
(=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu)))	Mid-level-ontology.kif 27529-27533	If a physical is an instance of aluminum and the physical is an instance of atom, then the measure of the physical is 26.9815 amu(s)
(=> (and (instance ?ATOM Americium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 243 Amu)))	Mid-level-ontology.kif 28969-28973	If a physical is an instance of americium and the physical is an instance of atom, then the measure of the physical is 243 amu(s)
(=> (and (instance ?ATOM Antimony) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 121.75 Amu)))	Mid-level-ontology.kif 28163-28167	If a physical is an instance of antimony and the physical is an instance of atom, then the measure of the physical is 121.75 amu(s)
(=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu)))	Mid-level-ontology.kif 27612-27616	If a physical is an instance of argon and the physical is an instance of atom, then the measure of the physical is 39.948 amu(s)
(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu)))	Mid-level-ontology.kif 27860-27864	If a physical is an instance of arsenic and the physical is an instance of atom, then the measure of the physical is 74.922 amu(s)
(=> (and (instance ?ATOM Astatine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 210 Amu)))	Mid-level-ontology.kif 28796-28800	If a physical is an instance of astatine and the physical is an instance of atom, then the measure of the physical is 210 amu(s)
(=> (and (instance ?ATOM Barium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 137.34 Amu)))	Mid-level-ontology.kif 28257-28261	If a physical is an instance of barium and the physical is an instance of atom, then the measure of the physical is 137.34 amu(s)
(=> (and (instance ?ATOM Berkelium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu)))	Mid-level-ontology.kif 29003-29007	If a physical is an instance of berkelium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
(=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu)))	Mid-level-ontology.kif 27369-27373	If a physical is an instance of beryllium and the physical is an instance of atom, then the measure of the physical is 9.0122 amu(s)
(=> (and (instance ?ATOM Bismuth) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 208.980 Amu)))	Mid-level-ontology.kif 28761-28765	If a physical is an instance of bismuth and the physical is an instance of atom, then the measure of the physical is 208.980 amu(s)
(=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu)))	Mid-level-ontology.kif 27385-27389	If a physical is an instance of boron and the physical is an instance of atom, then the measure of the physical is 10.811 amu(s)
(=> (and (instance ?ATOM Bromine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 79.909 Amu)))	Mid-level-ontology.kif 27891-27895	If a physical is an instance of bromine and the physical is an instance of atom, then the measure of the physical is 79.909 amu(s)
(=> (and (instance ?ATOM Cadmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 112.40 Amu)))	Mid-level-ontology.kif 28115-28119	If a physical is an instance of cadmium and the physical is an instance of atom, then the measure of the physical is 112.40 amu(s)
(=> (and (instance ?ATOM Caesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 132.90545 Amu)))	Mid-level-ontology.kif 28231-28235	If a physical is an instance of caesium and the physical is an instance of atom, then the measure of the physical is 132.90545 amu(s)
(=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu)))	Mid-level-ontology.kif 27643-27647	If a physical is an instance of calcium and the physical is an instance of atom, then the measure of the physical is 40.08 amu(s)
(=> (and (instance ?ATOM Californium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 249 Amu)))	Mid-level-ontology.kif 29020-29024	If a physical is an instance of californium and the physical is an instance of atom, then the measure of the physical is 249 amu(s)
(=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu)))	Mid-level-ontology.kif 27404-27408	If a physical is an instance of carbon and the physical is an instance of atom, then the measure of the physical is 12.01115 amu(s)
(=> (and (instance ?ATOM Cerium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 140.12 Amu)))	Mid-level-ontology.kif 28293-28297	If a physical is an instance of cerium and the physical is an instance of atom, then the measure of the physical is 140.12 amu(s)
(=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu)))	Mid-level-ontology.kif 27595-27599	If a physical is an instance of chlorine and the physical is an instance of atom, then the measure of the physical is 35.453 amu(s)
(=> (and (instance ?ATOM Chromium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 51.996 Amu)))	Mid-level-ontology.kif 27717-27721	If a physical is an instance of chromium and the physical is an instance of atom, then the measure of the physical is 51.996 amu(s)
(=> (and (instance ?ATOM Cobalt) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.993 Amu)))	Mid-level-ontology.kif 27763-27767	If a physical is an instance of cobalt and the physical is an instance of atom, then the measure of the physical is 58.993 amu(s)
(=> (and (instance ?ATOM Copper) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 63.54 Amu)))	Mid-level-ontology.kif 27794-27798	If a physical is an instance of copper and the physical is an instance of atom, then the measure of the physical is 63.54 amu(s)
(=> (and (instance ?ATOM Curium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 247 Amu)))	Mid-level-ontology.kif 28986-28990	If a physical is an instance of curium and the physical is an instance of atom, then the measure of the physical is 247 amu(s)
(=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu)))	Mid-level-ontology.kif 28441-28445	If a physical is an instance of dysprosium and the physical is an instance of atom, then the measure of the physical is 162.50 amu(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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	If an object is an instance of carbon dioxide and the object is an instance of molecule, then there exist another object, a third object and a fourth object such that the other object is an instance of carbon and the third object is an instance of oxygen and the fourth object is an instance of oxygen and the other object is an instance of atom and the third object is an instance of atom and the fourth object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object and the third object is not equal to the fourth object
(=> (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	If a positive integer is an atomic number of a kind of elemental substance, then if an object is an instance of a kind of elemental substance and another object is a part of the object and the other object is an instance of atom, then the positive integer is equal to the number of instances in the class described by a symbolic string
(=> (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	If a positive integer is an electron number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string
(=> (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	If an object is an instance of atomic group, then there exist another object and a third object such that the other object is an instance of atom and the third object is an instance of atom and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (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	If an object is an instance of molecule, then there exist another object and a third object such that the other object is an instance of atom and the third object is an instance of atom and the other object is a part of the object and the third object is a part of the object and the other object is not equal to the third object
(=> (instance ?PARTICLE SubatomicParticle) (exists (?ATOM) (and (instance ?ATOM Atom) (component ?PARTICLE ?ATOM))))	Merge.kif 1138-1143	If a corpuscular object is an instance of subatomic particle, then there exists another corpuscular object such that the other corpuscular object is an instance of atom and the corpuscular object is a component of the other corpuscular object
(=> (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	If a positive integer is a proton number of a pure substance, then if there exists an object such that the object is a part of the pure substance and the object is an instance of atom or the object is an instance of molecule, then there exists a symbolic string such that the positive integer is equal to the number of instances in the class described by the symbolic string

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: