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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Atom
Atom(atome)

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 1119-1121
(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 2109-2109
(externalImage Atom "http://upload.wikimedia.org/wikipedia/commons/a/a9/ Atom.svg") pictureList.kif 1648-1648
(subclass Atom ElementalSubstance) Merge.kif 1118-1118 Atome est une sous-classe de substance �l�mentaire

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


(subclass FreeAtom Atom) Mid-level-ontology.kif 23286-23286 FreeAtom est une sous-classe de atome
(termFormat ChineseLanguage Atom "原子") chinese_format.kif 821-821 FreeAtom est une sous-classe de atome
(termFormat EnglishLanguage Atom "atom") english_format.kif 844-844 FreeAtom est une sous-classe de atome
(termFormat FrenchLanguage Atom "atome") french_format.kif 497-497 FreeAtom est une sous-classe de atome
(termFormat Hindi Atom "aNu") terms-hindi.txt 30-30 FreeAtom est une sous-classe de atome
(termFormat ItalianLanguage Atom "Atomo") terms-it.txt 33-33 FreeAtom est une sous-classe de atome
(termFormat JapaneseLanguage Atom "原子") japanese_format.kif 2182-2182 FreeAtom est une sous-classe de atome
(termFormat PortugueseLanguage Atom "Atomo") portuguese_format.kif 449-449 FreeAtom est une sous-classe de atome
(termFormat cb Atom "gamay sa ubos") terms-cb.txt 35-35 FreeAtom est une sous-classe de atome
(termFormat cb Atom "gamay") terms-cb.txt 34-34 FreeAtom est une sous-classe de atome
(termFormat cz Atom "atom") terms-cz.txt 64-64 FreeAtom est une sous-classe de atome
(termFormat de Atom "Atom") terms-de.txt 323-323 FreeAtom est une sous-classe de atome
(termFormat ro Atom "atom") relations-ro.kif 518-518 FreeAtom est une sous-classe de atome
(termFormat tg Atom "atom") terms-tg.txt 34-34 FreeAtom est une sous-classe de atome

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


(=>
    (and
        (instance ?ATOM Actinium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 227 Amu)))		 Mid-level-ontology.kif 30731-30735
(=>
    (and
        (instance ?ATOM Aluminum)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 26.9815 Amu)))		 Mid-level-ontology.kif 29397-29401
(=>
    (and
        (instance ?ATOM Americium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 243 Amu)))		 Mid-level-ontology.kif 30837-30841
(=>
    (and
        (instance ?ATOM Antimony)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 121.75 Amu)))		 Mid-level-ontology.kif 30031-30035
(=>
    (and
        (instance ?ATOM Argon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 39.948 Amu)))		 Mid-level-ontology.kif 29480-29484
(=>
    (and
        (instance ?ATOM Arsenic)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 74.922 Amu)))		 Mid-level-ontology.kif 29728-29732
(=>
    (and
        (instance ?ATOM Astatine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 210 Amu)))		 Mid-level-ontology.kif 30664-30668
(=>
    (and
        (instance ?ATOM Barium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 137.34 Amu)))		 Mid-level-ontology.kif 30125-30129
(=>
    (and
        (instance ?ATOM Berkelium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))		 Mid-level-ontology.kif 30871-30875
(=>
    (and
        (instance ?ATOM Beryllium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 9.0122 Amu)))		 Mid-level-ontology.kif 29237-29241
(=>
    (and
        (instance ?ATOM Bismuth)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 208.980 Amu)))		 Mid-level-ontology.kif 30629-30633
(=>
    (and
        (instance ?ATOM Boron)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 10.811 Amu)))		 Mid-level-ontology.kif 29253-29257
(=>
    (and
        (instance ?ATOM Bromine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 79.909 Amu)))		 Mid-level-ontology.kif 29759-29763
(=>
    (and
        (instance ?ATOM Cadmium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 112.40 Amu)))		 Mid-level-ontology.kif 29983-29987
(=>
    (and
        (instance ?ATOM Caesium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 132.90545 Amu)))		 Mid-level-ontology.kif 30099-30103
(=>
    (and
        (instance ?ATOM Calcium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 40.08 Amu)))		 Mid-level-ontology.kif 29511-29515
(=>
    (and
        (instance ?ATOM Californium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 249 Amu)))		 Mid-level-ontology.kif 30888-30892
(=>
    (and
        (instance ?ATOM Carbon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 12.01115 Amu)))		 Mid-level-ontology.kif 29272-29276
(=>
    (and
        (instance ?ATOM Cerium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 140.12 Amu)))		 Mid-level-ontology.kif 30161-30165
(=>
    (and
        (instance ?ATOM Chlorine)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 35.453 Amu)))		 Mid-level-ontology.kif 29463-29467
(=>
    (and
        (instance ?ATOM Chromium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 51.996 Amu)))		 Mid-level-ontology.kif 29585-29589
(=>
    (and
        (instance ?ATOM Cobalt)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 58.993 Amu)))		 Mid-level-ontology.kif 29631-29635
(=>
    (and
        (instance ?ATOM Copper)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 63.54 Amu)))		 Mid-level-ontology.kif 29662-29666
(=>
    (and
        (instance ?ATOM Curium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 247 Amu)))		 Mid-level-ontology.kif 30854-30858
(=>
    (and
        (instance ?ATOM Dysprosium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 162.50 Amu)))		 Mid-level-ontology.kif 30309-30313

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 3421-3436
(=>
    (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 13931-13943
(=>
    (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 23330-23345
(=>
    (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 23376-23384
(=>
    (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 15820-15829
(=>
    (instance ?PARTICLE SubatomicParticle)
    (exists (?ATOM)
        (and
            (instance ?ATOM Atom)
            (component ?PARTICLE ?ATOM))))		 Merge.kif 1148-1153
(=>
    (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 23305-23320


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