DecomposizioneChimica (ChemicalDecomposition)
The Class of ChemicalProcesses
in which a CompoundSubstance breaks down into simpler products.
Ontology
SUMO / PROCESSESSuperclass(es)
Subclass(es)
Combustione
Coordinate term(s)
SintesiChimica
Asciugare
Related WordNet synsets
See more related synsets on a separate page.
Axioms (2)
Se digest é un' istanza di digesting, allora esiste DecomposizioneChimica decomp tale che decomp é un sottoprocesso di digest.
(=>
(instance ?DIGEST Digesting)
(exists
(?DECOMP)
(and
(instance ?DECOMP ChemicalDecomposition)
(subProcess ?DECOMP ?DIGEST))))
Se substance1 é una risorsa per proc e substance2 é un risultato di proc e substance1 é un' istanza di Composto e substance2 é un' istanza di SostanzaElementare, allora proc é un' istanza di DecomposizioneChimica.
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 CompoundSubstance)
(instance ?SUBSTANCE2 ElementalSubstance))
(instance ?PROC ChemicalDecomposition))