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

chemical synthesis (ChemicalSynthesis)

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

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  internal change  
is subclass of
  chemical process  
is subclass of
[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  dual object process  
is subclass of
  combining  
is subclass of
is subclass of
  chemical synthesis  

Coordinate term(s)

chemical decomposition  wetting 

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 is a resource for proc and substance2 is a result of proc and substance1 is an instance of elemental substance and substance2 is an instance of compound substance, then proc is an instance of chemical synthesis. 
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 ElementalSubstance)
            (instance ?SUBSTANCE2 CompoundSubstance))
      (instance ?PROC ChemicalSynthesis))
compound is an instance of compound substance if and only if there exist elemental substance element1,elemental substance element2,chemical synthesis process so that element1 is not equal to element2 and element1 is a resource for process and element2 is a resource for process and compound is a result of process. 
(<=>
      (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))))