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

compound substance (CompoundSubstance)

The Class of Substances that contain two or more elements (ElementalSubstances), in definite proportion by weight. The composition of a pure compound will be invariant, regardless of the method of preparation. Compounds are composed of more than one kind of atom (element). The term molecule is often used for the smallest unit of a compound that still retains all of the properties of the compound. Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), and water (H_2O).

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  object  
is subclass of
  self connected object  
is subclass of
  substance  
is subclass of
  pure substance  
is subclass of
  compound substance  

Subclass(es)

water  nutrient  molecule 

Coordinate term(s)

elemental substance 

Related WordNet synsets

compound, chemical compound
(chemistry) a substance formed by chemical union of two or more elements or ingredients in definite proportion by weight
compound is kind of (all)...   compound is kind of...   kinds of compound...   kinds of compound (all)...  
product
a chemical substance formed as a result of a chemical reaction; "a product of lime and nitric acid"
product is kind of (all)...   product is kind of...   kinds of product...   kinds of product (all)...  
See more related synsets on a separate page.

Axioms (4)

pure substance is exhaustively partitioned into compound substance,elemental substance. 
(partition PureSubstance CompoundSubstance ElementalSubstance)
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))))
If substance1 is a resource for proc and substance2 is a result of proc and substance1 is an instance of compound substance and substance2 is an instance of elemental substance, then proc is an instance of chemical decomposition. 
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 CompoundSubstance)
            (instance ?SUBSTANCE2 ElementalSubstance))
      (instance ?PROC ChemicalDecomposition))