Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Atom
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Atom ElementalSubstance) | Merge.kif 1181-1181 | Atom is a subclass of elemental substance |
| (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 1182-1184 | Atom is a subclass of elemental substance |
| (externalImage Atom "http://articulatesoftware.com/SUMOpictures/education/ Atom_01.png") | pictureList.kif 244-244 | Atom is a subclass of elemental substance |
| (externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Atom.svg") | pictureList.kif 1648-1648 | Atom is a subclass of elemental substance |
| (externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/2/23/ Helium_atom_QM.svg") | pictureList.kif 2109-2109 | Atom is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (subclass FreeAtom Atom) | Mid-level-ontology.kif 23942-23942 | Free atom is a subclass of atom |
| (termFormat EnglishLanguage Atom "atom") | english_format.kif 844-844 | Free atom is a subclass of atom |
| antecedent |
|
|
| (=> (instance ?ATOM Atom) (exists (?PROTON ?ELECTRON) (and (part ?PROTON ?ATOM) (part ?ELECTRON ?ATOM) (instance ?PROTON Proton) (instance ?ELECTRON Electron)))) |
Merge.kif 1186-1193 | If X is an instance of atom, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y is an instance of proton, and Z is an instance of electron |
| (=> (instance ?ATOM Atom) (forall (?NUCLEUS1 ?NUCLEUS2) (=> (and (part ?NUCLEUS1 ?ATOM) (part ?NUCLEUS2 ?ATOM) (instance ?NUCLEUS1 AtomicNucleus) (instance ?NUCLEUS2 AtomicNucleus)) (equal ?NUCLEUS1 ?NUCLEUS2)))) |
Merge.kif 1195-1204 | If X is an instance of atom, then For all Objects Y and Z: if Y is a part of X, Z is a part of X, Y is an instance of atomic nucleus, and Z is an instance of atomic nucleus, then equal Y and Z |
| (=> (and (protonNumber ?SUBSTANCE ?NUMBER) (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 23961-23974 | If X is a proton number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| (=> (and (electronNumber ?SUBSTANCE ?NUMBER) (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 23984-23997 | If X is an electron number of Y, Z is a part of Y, and Z is an instance of atom or Z is an instance of molecule, then there exists W such that equal X and the number of instances in the class described by W |
| (=> (and (instance ?ATOM Hydrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 1.0079 Amu))) |
Mid-level-ontology.kif 29898-29902 | If X is an instance of hydrogen and X is an instance of atom, then the measure of X is 1.0079 amu(s) |
| (=> (and (instance ?ATOM Helium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 4.0026 Amu))) |
Mid-level-ontology.kif 29914-29918 | If X is an instance of helium and X is an instance of atom, then the measure of X is 4.0026 amu(s) |
| (=> (and (instance ?ATOM Lithium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 6.939 Amu))) |
Mid-level-ontology.kif 29930-29934 | If X is an instance of lithium and X is an instance of atom, then the measure of X is 6.939 amu(s) |
| (=> (and (instance ?ATOM Beryllium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 9.0122 Amu))) |
Mid-level-ontology.kif 29944-29948 | If X is an instance of beryllium and X is an instance of atom, then the measure of X is 9.0122 amu(s) |
| (=> (and (instance ?ATOM Boron) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 10.811 Amu))) |
Mid-level-ontology.kif 29960-29964 | If X is an instance of boron and X is an instance of atom, then the measure of X is 10.811 amu(s) |
| (=> (and (instance ?ATOM Carbon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 12.01115 Amu))) |
Mid-level-ontology.kif 29979-29983 | If X is an instance of carbon and X is an instance of atom, then the measure of X is 12.01115 amu(s) |
| (=> (and (instance ?ATOM Nitrogen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 14.0067 Amu))) |
Mid-level-ontology.kif 29997-30001 | If X is an instance of nitrogen and X is an instance of atom, then the measure of X is 14.0067 amu(s) |
| (=> (and (instance ?ATOM Oxygen) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 15.9994 Amu))) |
Mid-level-ontology.kif 30015-30019 | If X is an instance of oxygen and X is an instance of atom, then the measure of X is 15.9994 amu(s) |
| (=> (and (instance ?ATOM Fluorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 18.9984 Amu))) |
Mid-level-ontology.kif 30035-30039 | If X is an instance of fluorine and X is an instance of atom, then the measure of X is 18.9984 amu(s) |
| (=> (and (instance ?ATOM Neon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 20.183 Amu))) |
Mid-level-ontology.kif 30052-30056 | If X is an instance of neon and X is an instance of atom, then the measure of X is 20.183 amu(s) |
| (=> (and (instance ?ATOM Sodium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 22.9898 Amu))) |
Mid-level-ontology.kif 30070-30074 | If X is an instance of sodium and X is an instance of atom, then the measure of X is 22.9898 amu(s) |
| (=> (and (instance ?ATOM Magnesium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 24.312 Amu))) |
Mid-level-ontology.kif 30086-30090 | If X is an instance of magnesium and X is an instance of atom, then the measure of X is 24.312 amu(s) |
| (=> (and (instance ?ATOM Aluminum) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 26.9815 Amu))) |
Mid-level-ontology.kif 30104-30108 | If X is an instance of aluminum and X is an instance of atom, then the measure of X is 26.9815 amu(s) |
| (=> (and (instance ?ATOM Silicon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 28.086 Amu))) |
Mid-level-ontology.kif 30122-30126 | If X is an instance of silicon and X is an instance of atom, then the measure of X is 28.086 amu(s) |
| (=> (and (instance ?ATOM Phosphorus) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 30.9738 Amu))) |
Mid-level-ontology.kif 30139-30143 | If X is an instance of phosphorus and X is an instance of atom, then the measure of X is 30.9738 amu(s) |
| (=> (and (instance ?ATOM Sulphur) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 32.064 Amu))) |
Mid-level-ontology.kif 30154-30158 | If X is an instance of sulphur and X is an instance of atom, then the measure of X is 32.064 amu(s) |
| (=> (and (instance ?ATOM Chlorine) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 35.453 Amu))) |
Mid-level-ontology.kif 30170-30174 | If X is an instance of chlorine and X is an instance of atom, then the measure of X is 35.453 amu(s) |
| (=> (and (instance ?ATOM Argon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.948 Amu))) |
Mid-level-ontology.kif 30187-30191 | If X is an instance of argon and X is an instance of atom, then the measure of X is 39.948 amu(s) |
| (=> (and (instance ?ATOM Potassium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 39.0983 Amu))) |
Mid-level-ontology.kif 30202-30206 | If X is an instance of potassium and X is an instance of atom, then the measure of X is 39.0983 amu(s) |
| (=> (and (instance ?ATOM Calcium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 40.08 Amu))) |
Mid-level-ontology.kif 30218-30222 | If X is an instance of calcium and X is an instance of atom, then the measure of X is 40.08 amu(s) |
| (=> (and (instance ?ATOM Scandium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 44.956 Amu))) |
Mid-level-ontology.kif 30233-30237 | If X is an instance of scandium and X is an instance of atom, then the measure of X is 44.956 amu(s) |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (=> (instance ?PARTICLE SubatomicParticle) (exists (?ATOM) (and (instance ?ATOM Atom) (component ?PARTICLE ?ATOM)))) |
Merge.kif 1211-1216 | If X is an instance of subatomic particle, then there exists Y such that Y is an instance of atom and X is a component of Y |
| (=> (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 14087-14099 | Assuming X is an atomic number of Y, it follows that: if Z is an instance of Y, W is a part of Z, and W is an instance of atom, then equal X and the number of instances in the class described by V |
| (=> (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 15955-15964 | If X is an instance of molecule, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of atom (3) Z is an instance of atom (4) Y is a part of X (5) Z is a part of X (6) equal Y (7) Z |
| (=> (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 24027-24035 | If X is an instance of atomic group, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of atom (3) Z is an instance of atom (4) equal Y (5) Z (6) Y is a part of X (7) Z is a part of X |
| (=> (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 3450-3465 | If X is an instance of carbon dioxide and X is an instance of molecule, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of carbon (3) Z is an instance of oxygen (4) W is an instance of oxygen (5) Y is an instance of atom (6) Z is an instance of atom (7) W is an instance of atom (8) Y is a part of X (9) Z is a part of X (10) W is a part of X (11) equal Z (12) W |
|
