Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

¤Æ¾Ç¤À¸Ñ (ChemicalDecomposition)

The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
¹êÅé
is subclass of
  ª«½èªº  
is subclass of
  ¾úµ{  
is subclass of
  ¤º¦b§ïÅÜ  
is subclass of
  ¤Æ¾Ç¾úµ{  
is subclass of
[tree]
¹êÅé
is subclass of
  ª«½èªº  
is subclass of
  ¾úµ{  
is subclass of
  Âù¨ü¨Æ¾úµ{  
is subclass of
  ¹jÂ÷  
is subclass of

is subclass of
  ¤Æ¾Ç¤À¸Ñ  

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