化學合成 (ChemicalSynthesis)

valency: the phenomenon of forming chemical bonds
synthesis: the process of producing a chemical compound (usually by the union of simpler chemical compounds)
compounded: combined into or constituting a chemical compound

See more related synsets on a separate page.

Axioms (2)

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