Atomo (Atom)

An extremely small unit of matter that retains its identity in Chemical reactions. It consists of an AtomicNucleus and Electrons surrounding the AtomicNucleus.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Entitá

EntitáConcreta

Oggetto

OggettoIntegro

Sostanza

SostanzaPura

SostanzaElementare

Atomo

Coordinate term(s)

Metallo ParticellaSubatomica

Related WordNet synsets

atom: (physics and chemistry) the smallest component of an element having the chemical properties of the element
atomic: of or relating to of comprising atoms; "atomic structure"; "atomic hydrogen"

See more related synsets on a separate page.

Axioms (4)

Se atom é un' istanza di Atomo, allora esiste Protone proton,Elettrone electron tale che proton é un componente diatom e electron é un componente diatom.

(=>
      (instance ?ATOM Atom)
      (exists
            (?PROTON ?ELECTRON)
            (and
                  (component ?PROTON ?ATOM)
                  (component ?ELECTRON ?ATOM)
                  (instance ?PROTON Proton)
                  (instance ?ELECTRON Electron))))

se atom é un' istanza di Atomo,
allora per ogni nucleus1,nucleus2 vale: se nucleus1 é un componente diatom e nucleus2 é un componente diatom e nucleus1 é un' istanza di NucleoAtomico e nucleus2 é un' istanza di NucleoAtomico, allora nucleus1 is uguale a nucleus2

(=>
      (instance ?ATOM Atom)
      (forall
            (?NUCLEUS1 ?NUCLEUS2)
            (=>
                  (and
                        (component ?NUCLEUS1 ?ATOM)
                        (component ?NUCLEUS2 ?ATOM)
                        (instance ?NUCLEUS1 AtomicNucleus)
                        (instance ?NUCLEUS2 AtomicNucleus))
                  (equal ?NUCLEUS1 ?NUCLEUS2))))

Se particle é un' istanza di ParticellaSubatomica, allora esiste Atomo atom tale che particle é una parte di atom.

(=>
      (instance ?PARTICLE SubatomicParticle)
      (exists
            (?ATOM)
            (and
                  (instance ?ATOM Atom)
                  (part ?PARTICLE ?ATOM))))

Se mole é un' istanza di Molecola, allora esiste Atomo atom1,Atomo atom2 tale che atom1 é una parte di mole e atom2 é una parte di mole e atom1 is not uguale a atom2.

(=>
      (instance ?MOLE Molecule)
      (exists
            (?ATOM1 ?ATOM2)
            (and
                  (instance ?ATOM1 Atom)
                  (instance ?ATOM2 Atom)
                  (part ?ATOM1 ?MOLE)
                  (part ?ATOM2 ?MOLE)
                  (not
                        (equal ?ATOM1 ?ATOM2)))))