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

hua4 xue2 fen1 jie3 (ChemicalDecomposition)

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

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  na4 zai4 gai3 bian4  
is subclass of
  hua4 xue2 li4 cheng2  
is subclass of
[tree]
shi2 ti3
is subclass of
  wu4 zhi4 de5  
is subclass of
  li4 cheng2  
is subclass of
  shuang1 shou4 shi4 li4 cheng2  
is subclass of
  ge2 li2  
is subclass of
is subclass of
  hua4 xue2 fen1 jie3  

Subclass(es)

ran2 shao1 

Coordinate term(s)

hua4 xue2 he2 cheng2  qian2 zao4 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

If digest shi4 xiao1 hua4 de5 shi2 li4, then there exists hua4 xue2 fen1 jie3 decomp so_that_not decomp shi4 digest de5 ci4 li4 cheng2. 
(=>
      (instance ?DIGEST Digesting)
      (exists
            (?DECOMP)
            (and
                  (instance ?DECOMP ChemicalDecomposition)
                  (subProcess ?DECOMP ?DIGEST))))
If substance1 dui4 proc shi4 zi1 yuan2 and substance2 shi4 proc de5 jie2 guo3 and substance1 shi4 hua4 he2 wu4 de5 shi2 li4 and substance2 shi4 ji1 ben3 wu4 zhi4 de5 shi2 li4, then proc shi4 hua4 xue2 fen1 jie3 de5 shi2 li4. 
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 CompoundSubstance)
            (instance ?SUBSTANCE2 ElementalSubstance))
      (instance ?PROC ChemicalDecomposition))