chun2 wu4 zhi4 (PureSubstance)

The Class of Substances with constant composition. A PureSubstance can be either an element (ElementalSubstance) or a compound of elements (CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2).

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

wu4 zhi4

chun2 wu4 zhi4

Subclass(es)

ji1 ben3 wu4 zhi4 hua4 he2 wu4

Coordinate term(s)

huo2 xing4 sheng1 wu4 wu4 zhi4 hun4 he2 wu4

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

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

(partition PureSubstance CompoundSubstance ElementalSubstance)

If mixture shi4 hun4 he2 wu4 de5 shi2 li4, then there exist chun2 wu4 zhi4 pure1,chun2 wu4 zhi4 pure2 so_that_not pure1 deng3 yu1 pure2 and pure1 shi4 mixture de5 yi1 xiao3 bu4 fen5 and pure2 shi4 mixture de5 yi1 xiao3 bu4 fen5.

(=>
      (instance ?MIXTURE Mixture)
      (exists
            (?PURE1 ?PURE2)
            (and
                  (subclass ?PURE1 PureSubstance)
                  (subclass ?PURE2 PureSubstance)
                  (not
                        (equal ?PURE1 ?PURE2))
                  (piece ?PURE1 ?MIXTURE)
                  (piece ?PURE2 ?MIXTURE))))

proc shi4 hua4 xue2 li4 cheng2 de5 shi2 li4
stuff dui4 proc shi4 zi1 yuan2 or stuff shi4 proc de5 jie2 guo3

, then stuff shi4 chun2 wu4 zhi4 de5 shi2 li4.

(=>
      (and
            (instance ?PROC ChemicalProcess)
            (or
                  (resource ?PROC ?STUFF)
                  (result ?PROC ?STUFF)))
      (instance ?STUFF PureSubstance))