elementární látka (ElementalSubstance)

The Class of PureSubstances that cannot be separated into two or more Substances by ordinary chemical (or physical) means. This excludes nuclear reactions. ElementalSubstances are composed of only one kind of atom. Examples: Iron (Fe), copper (Cu), and oxygen (O_2). ElementalSubstances are the simplest PureSubstances.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

spojitý objekt

látka

čistá látka

elementární látka

Podtřída(y)

kov atom subatomická částice

Související termín(y)

sloučenina

Related WordNet synsets

chemical element, element: any of the more than 100 known substances (of which 93 occur naturally) that cannot be separated into simpler substances and that singly or in combination constitute all matter
simple: composed of only one thing or element or part; "a simple substance"
elemental: relating to or being an element; "elemental sulphur"

See more related synsets on a separate page.

Axiomy (4)

čistá látka je exhaustively partitioned into sloučenina,elementární látka.

(partition PureSubstance CompoundSubstance ElementalSubstance)

Jestliže substance1 je nástrojem pro proc a substance2 je výsledkem proc a substance1 je instancí třídy elementární látka a substance2 je instancí třídy sloučenina, potom proc je instancí třídy chemická syntéza.

(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 ElementalSubstance)
            (instance ?SUBSTANCE2 CompoundSubstance))
      (instance ?PROC ChemicalSynthesis))

compound je instancí třídy sloučenina tehdy a jen tehdy pokud existují elementární látka element1,elementární látka element2,chemická syntéza process tak, že element1 se nerovná element2 a element1 je nástrojem pro process a element2 je nástrojem pro process a compound je výsledkem process.

(<=>
      (instance ?COMPOUND CompoundSubstance)
      (exists
            (?ELEMENT1 ?ELEMENT2 ?PROCESS)
            (and
                  (instance ?ELEMENT1 ElementalSubstance)
                  (instance ?ELEMENT2 ElementalSubstance)
                  (not
                        (equal ?ELEMENT1 ?ELEMENT2))
                  (instance ?PROCESS ChemicalSynthesis)
                  (resource ?PROCESS ?ELEMENT1)
                  (resource ?PROCESS ?ELEMENT2)
                  (result ?PROCESS ?COMPOUND))))

Jestliže substance1 je nástrojem pro proc a substance2 je výsledkem proc a substance1 je instancí třídy sloučenina a substance2 je instancí třídy elementární látka, potom proc je instancí třídy chemický rozklad.

(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 CompoundSubstance)
            (instance ?SUBSTANCE2 ElementalSubstance))
      (instance ?PROC ChemicalDecomposition))