sloučenina (CompoundSubstance)

The Class of Substances that contain two or more elements (ElementalSubstances), in definite proportion by weight. The composition of a pure compound will be invariant, regardless of the method of preparation. Compounds are composed of more than one kind of atom (element). The term molecule is often used for the smallest unit of a compound that still retains all of the properties of the compound. Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), and water (H_2O).

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

fyzický objekt

objekt

spojitý objekt

látka

čistá látka

sloučenina

Podtřída(y)

voda živina molekula

Související termín(y)

elementární látka

Related WordNet synsets

compound, chemical compound: (chemistry) a substance formed by chemical union of two or more elements or ingredients in definite proportion by weight
product: a chemical substance formed as a result of a chemical reaction; "a product of lime and nitric acid"

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))