Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Atom
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 和 以个包围着 AtomicNucleusElectron 所组成。") 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 1028-1030
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/2/23/ Helium_atom_QM.svg") pictureList.kif 2111-2111
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Atom.svg") pictureList.kif 1650-1650
(externalImage Atom "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ Atom_01.png") pictureList.kif 244-244
(subclass Atom ElementalSubstance) Merge.kif 1027-1027 Atom is a subclass of elemental substance

appearance as argument number 2
-------------------------


(subclass FreeAtom Atom) Mid-level-ontology.kif 19475-19475 Free atom is a subclass of atom
(termFormat ChineseLanguage Atom "原子") chinese_format.kif 821-821
(termFormat EnglishLanguage Atom "atom") english_format.kif 849-849

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))
Mid-level-ontology.kif 26991-26995
(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))
Mid-level-ontology.kif 25733-25737
(=>
    (and
        (instance ?ATOM Americium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 243 Amu)))
Mid-level-ontology.kif 27091-27095
(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))
Mid-level-ontology.kif 26329-26333
(=>
    (and
        (instance ?ATOM Argon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.948 Amu)))
Mid-level-ontology.kif 25811-25815
(=>
    (and
        (instance ?ATOM Arsenic)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 74.922 Amu)))
Mid-level-ontology.kif 26044-26048
(=>
    (and
        (instance ?ATOM Astatine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))
Mid-level-ontology.kif 26928-26932
(=>
    (and
        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))
Mid-level-ontology.kif 26418-26422
(=>
    (and
        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27123-27127
(=>
    (and
        (instance ?ATOM Beryllium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 9.0122 Amu)))
Mid-level-ontology.kif 25582-25586
(=>
    (and
        (instance ?ATOM Bismuth)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 208.980 Amu)))
Mid-level-ontology.kif 26895-26899
(=>
    (and
        (instance ?ATOM Boron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 10.811 Amu)))
Mid-level-ontology.kif 25597-25601
(=>
    (and
        (instance ?ATOM Bromine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 79.909 Amu)))
Mid-level-ontology.kif 26073-26077
(=>
    (and
        (instance ?ATOM Cadmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 112.40 Amu)))
Mid-level-ontology.kif 26284-26288
(=>
    (and
        (instance ?ATOM Caesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 132.90545 Amu)))
Mid-level-ontology.kif 26393-26397
(=>
    (and
        (instance ?ATOM Calcium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 40.08 Amu)))
Mid-level-ontology.kif 25840-25844
(=>
    (and
        (instance ?ATOM Californium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 249 Amu)))
Mid-level-ontology.kif 27139-27143
(=>
    (and
        (instance ?ATOM Carbon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 12.01115 Amu)))
Mid-level-ontology.kif 25615-25619
(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))
Mid-level-ontology.kif 26452-26456
(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))
Mid-level-ontology.kif 25795-25799
(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))
Mid-level-ontology.kif 25910-25914
(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))
Mid-level-ontology.kif 25953-25957
(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))
Mid-level-ontology.kif 25982-25986
(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))
Mid-level-ontology.kif 27107-27111
(=>
    (and
        (instance ?ATOM Dysprosium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 162.50 Amu)))
Mid-level-ontology.kif 26592-26596

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 846-861
(=>
    (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 12737-12749
(=>
    (electronNumber ?SUBSTANCE ?NUMBER)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?ELECTRON
                    (and
                        (part ?ELECTRON ?ATOM)
                        (instance ?ELECTRON Electron)))))))
Mid-level-ontology.kif 19514-19527
(=>
    (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 19532-19540
(=>
    (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 14489-14498
(=>
    (instance ?PARTICLE SubatomicParticle)
    (exists (?ATOM)
        (and
            (instance ?ATOM Atom)
            (component ?PARTICLE ?ATOM))))
Merge.kif 1057-1062
(=>
    (protonNumber ?SUBSTANCE ?NUMBER)
    (=>
        (and
            (part ?ATOM ?SUBSTANCE)
            (or
                (instance ?ATOM Atom)
                (instance ?ATOM Molecule)))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))
Mid-level-ontology.kif 19493-19504


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners