Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

čistá látka (PureSubstance)

The Class of Substances with constant composition. A PureSubstance can be either an element (ElementalSubstance) or a compound of elements (CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2).

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  fyzický objekt  
is subclass of
  objekt  
is subclass of
  spojitý objekt  
is subclass of
  látka  
is subclass of
  čistá látka  

Podtřída(y)

elementární látka  sloučenina 

Související termín(y)

biologicky aktivní látka  směs 

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (3)

čistá látka je exhaustively partitioned into sloučenina,elementární látka. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
Jestliže mixture je instancí třídy směs, potom existují čistá látka pure1,čistá látka pure2 tak, že pure1 se nerovná pure2 a pure1 je a piece of mixture a pure2 je a piece of mixture. 
(=>
      (instance ?MIXTURE Mixture)
      (exists
            (?PURE1 ?PURE2)
            (and
                  (subclass ?PURE1 PureSubstance)
                  (subclass ?PURE2 PureSubstance)
                  (not
                        (equal ?PURE1 ?PURE2))
                  (piece ?PURE1 ?MIXTURE)
                  (piece ?PURE2 ?MIXTURE))))
Jestliže , potom stuff je instancí třídy čistá látka. 
(=>
      (and
            (instance ?PROC ChemicalProcess)
            (or
                  (resource ?PROC ?STUFF)
                  (result ?PROC ?STUFF)))
      (instance ?STUFF PureSubstance))