hua4 he2 wu4 (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)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

wu4 zhi4

chun2 wu4 zhi4

hua4 he2 wu4

Subclass(es)

shui3 yang3 fen4 fen1 zi3

Coordinate term(s)

ji1 ben3 wu4 zhi4

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
product: a chemical substance formed as a result of a chemical reaction; "a product of lime and nitric acid"

See more related synsets on a separate page.

Axioms (4)

chun2 wu4 zhi4 wan2 quan2 fen1 ge1 cheng2 hua4 he2 wu4,ji1 ben3 wu4 zhi4.

(partition PureSubstance CompoundSubstance ElementalSubstance)

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))))

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))