¤Æ¾Ç¤À¸Ñ (ChemicalDecomposition)
The Class of ChemicalProcesses
in which a CompoundSubstance breaks down into simpler products.
Ontology
SUMO / PROCESSESSuperclass(es)
Subclass(es)
¿U¿N
Coordinate term(s)
¤Æ¾Ç¦X¦¨
°®Àê
Related WordNet synsets
See more related synsets on a separate page.
Axioms (2)
If digest ¬O ®ø¤Æ ªº ¹ê¨Ò, then there exists ¤Æ¾Ç¤À¸Ñ decomp so that decomp ¬O digest ªº ¦¸¾úµ{.
(=>
(instance ?DIGEST Digesting)
(exists
(?DECOMP)
(and
(instance ?DECOMP ChemicalDecomposition)
(subProcess ?DECOMP ?DIGEST))))
If substance1 ¹ï proc ¬O ¸ê·½ and substance2 ¬O proc ªº µ²ªG and substance1 ¬O ¤Æ¦Xª« ªº ¹ê¨Ò and substance2 ¬O °ò¥»ª«½è ªº ¹ê¨Ò, then proc ¬O ¤Æ¾Ç¤À¸Ñ ªº ¹ê¨Ò.
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 CompoundSubstance)
(instance ?SUBSTANCE2 ElementalSubstance))
(instance ?PROC ChemicalDecomposition))