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

hua4 xue2 he2 cheng2 (ChemicalSynthesis)

The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.

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
  jie2 he2  
is subclass of
is subclass of
  hua4 xue2 he2 cheng2  

Coordinate term(s)

hua4 xue2 fen1 jie3  shi1 run4 

Related WordNet synsets

valency
the phenomenon of forming chemical bonds
valency is kind of (all)...   valency is kind of...  
synthesis
the process of producing a chemical compound (usually by the union of simpler chemical compounds)
synthesis is kind of (all)...   synthesis is kind of...   kinds of synthesis...   kinds of synthesis (all)...  
compounded
combined into or constituting a chemical compound
compounded is similar to...  
See more related synsets on a separate page.

Axioms (2)

If substance1 dui4 proc shi4 zi1 yuan2 and substance2 shi4 proc de5 jie2 guo3 and substance1 shi4 ji1 ben3 wu4 zhi4 de5 shi2 li4 and substance2 shi4 hua4 he2 wu4 de5 shi2 li4, then proc shi4 hua4 xue2 he2 cheng2 de5 shi2 li4. 
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 ElementalSubstance)
            (instance ?SUBSTANCE2 CompoundSubstance))
      (instance ?PROC ChemicalSynthesis))
compound shi4 hua4 he2 wu4 de5 shi2 li4 if and only if there exist ji1 ben3 wu4 zhi4 element1,ji1 ben3 wu4 zhi4 element2,hua4 xue2 he2 cheng2 process so_that_not element1 deng3 yu1 element2 and element1 dui4 process shi4 zi1 yuan2 and element2 dui4 process shi4 zi1 yuan2 and compound shi4 process de5 jie2 guo3. 
(<=>
      (instance ?COMPOUND CompoundSubstance)
      (exists
            (?ELEMENT1 ?ELEMENT2 ?PROCESS)
            (and
                  (instance ?ELEMENT1 ElementalSubstance)
                  (instance ?ELEMENT2 ElementalSubstance)
                  (not
                        (equal ?ELEMENT1 ?ELEMENT2))
                  (instance ?PROCESS ChemicalSynthesis)
                  (resource ?PROCESS ?ELEMENT1)
                  (resource ?PROCESS ?ELEMENT2)
                  (result ?PROCESS ?COMPOUND))))