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

化合物 (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]
實體
is subclass of
  物質的  
is subclass of
  物體  
is subclass of
  自身連續物體  
is subclass of
  物質  
is subclass of
  純物質  
is subclass of
  化合物  

Subclass(es)

  養份  分子 

Coordinate term(s)

基本物質 

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)

純物質 完全 分割成 化合物,基本物質.
(partition PureSubstance CompoundSubstance ElementalSubstance)

If substance1proc資源 and substance2proc結果 and substance1基本物質實例 and substance2化合物實例, then proc化學合成實例.
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 ElementalSubstance)
            (instance ?SUBSTANCE2 CompoundSubstance))
      (instance ?PROC ChemicalSynthesis))

compound化合物實例 if and only if there exist 基本物質 element1,基本物質 element2,化學合成 process so that element1 等於 element2 and element1process資源 and element2process資源 and compoundprocess結果.
(<=>
      (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 substance1proc資源 and substance2proc結果 and substance1化合物實例 and substance2基本物質實例, then proc化學分解實例.
(=>
      (and
            (resource ?PROC ?SUBSTANCE1)
            (result ?PROC ?SUBSTANCE2)
            (instance ?SUBSTANCE1 CompoundSubstance)
            (instance ?SUBSTANCE2 ElementalSubstance))
      (instance ?PROC ChemicalDecomposition))