chemický rozklad (ChemicalDecomposition)
The Class of ChemicalProcesses
in which a CompoundSubstance breaks down into simpler products.
Ontologie
SUMO / PROCESSESNadtřída(y)
Podtřída(y)
hoření
Související termín(y)
chemická syntéza
sušení
Related WordNet synsets
See more related synsets on a separate page.
Axiomy (2)
Jestliže digest je instancí třídy digesting, potom existuje chemický rozklad decomp tak, že decomp je a subprocess of digest.
(=>
(instance ?DIGEST Digesting)
(exists
(?DECOMP)
(and
(instance ?DECOMP ChemicalDecomposition)
(subProcess ?DECOMP ?DIGEST))))
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))