化合物 (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-ONTOLOGYSuperclass(es)
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
- 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)
純物質 完全 分割成 化合物,基本物質.
(partition PureSubstance CompoundSubstance ElementalSubstance)
If substance1 對 proc 是 資源 and substance2 是 proc 的 結果 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 element1 對 process 是 資源 and element2 對 process 是 資源 and compound 是 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 對 proc 是 資源 and substance2 是 proc 的 結果 and substance1 是 化合物 的 實例 and substance2 是 基本物質 的 實例, then proc 是 化學分解 的 實例.
(=>
(and
(resource ?PROC ?SUBSTANCE1)
(result ?PROC ?SUBSTANCE2)
(instance ?SUBSTANCE1 CompoundSubstance)
(instance ?SUBSTANCE2 ElementalSubstance))
(instance ?PROC ChemicalDecomposition))