ji1 ben3 wu4 zhi4 (ElementalSubstance)

The Class of PureSubstances that cannot be separated into two or more Substances by ordinary chemical (or physical) means. This excludes nuclear reactions. ElementalSubstances are composed of only one kind of atom. Examples: Iron (Fe), copper (Cu), and oxygen (O_2). ElementalSubstances are the simplest PureSubstances.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

wu4 zhi4

chun2 wu4 zhi4

ji1 ben3 wu4 zhi4

Subclass(es)

jin1 shu3 yuan2 zi3 ci4 yuan2 zi3 li4 zi3

Coordinate term(s)

hua4 he2 wu4

Related WordNet synsets

chemical element, element: any of the more than 100 known substances (of which 93 occur naturally) that cannot be separated into simpler substances and that singly or in combination constitute all matter
simple: composed of only one thing or element or part; "a simple substance"
elemental: relating to or being an element; "elemental sulphur"

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