ChemicalSynthesis - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ChemicalSynthesis ChineseLanguage "这是当简单反应物组成 CompoundSubstance 的 ChemicalProcess Class。")	chinese_format.kif 3185-3186
(documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.")	Merge.kif 12524-12525
(subclass ChemicalSynthesis ChemicalProcess)	Merge.kif 12522-12522	子類 ChemicalSynthesis and ChemicalProcess
(subclass ChemicalSynthesis Combining)	Merge.kif 12523-12523	子類 ChemicalSynthesis and Combining

appearance as argument number 2

(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition)	Merge.kif 12504-12504	劃分 ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition
(subclass AnabolicProcess ChemicalSynthesis)	Mid-level-ontology.kif 10098-10098	子類 AnabolicProcess and ChemicalSynthesis
(subclass ChemicalReduction ChemicalSynthesis)	Mid-level-ontology.kif 19560-19560	子類化學還原 and ChemicalSynthesis
(termFormat ChineseLanguage ChemicalSynthesis "化学合成")	chinese_format.kif 1170-1170
(termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis")	english_format.kif 1557-1557
(termFormat FrenchLanguage ChemicalSynthesis "synth�se chimique")	french_format.kif 848-848
(termFormat Hindi ChemicalSynthesis "raasaayanika sanyojana")	terms-hindi.txt 380-380
(termFormat ItalianLanguage ChemicalSynthesis "SintesiChimica")	terms-it.txt 383-383
(termFormat JapaneseLanguage ChemicalSynthesis "化学合成")	japanese_format.kif 2532-2532
(termFormat PortugueseLanguage ChemicalSynthesis "Sintese Quimica")	portuguese_format.kif 800-800
(termFormat cz ChemicalSynthesis "chemical synthesis")	terms-cz.txt 419-419
(termFormat ro ChemicalSynthesis "sintezã chimicã")	relations-ro.kif 869-869
(termFormat tg ChemicalSynthesis "kathang kimikal")	terms-tg.txt 384-384

antecedent

(=>
    (and
        (instance ?ELEMENT1 ElementalSubstance)
        (instance ?ELEMENT2 ElementalSubstance)
        (not
            (equal ?ELEMENT1 ?ELEMENT2))
        (instance ?PROCESS ChemicalSynthesis)
        (resource ?PROCESS ?ELEMENT1)
        (resource ?PROCESS ?ELEMENT2)
        (result ?PROCESS ?COMPOUND))
    (instance ?COMPOUND CompoundSubstance))

Merge.kif 12547-12556

例 Object and ElementalSubstance 例 Object and ElementalSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
例 Entity and CompoundSubstance

consequent

(<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS))))	Mid-level-ontology.kif 6478-6488	例 Entity and 共軛物質 Object Object and Process 例 Object and CompoundSubstance 例 Object and CompoundSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis))	Merge.kif 12527-12533	資源 Process and Object 結果 Process and Entity 例 Object and ElementalSubstance 例 Entity and CompoundSubstance 例 Process and ChemicalSynthesis
(=> (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))))	Merge.kif 12535-12545	例 Entity and CompoundSubstance Object Object and Process 例 Object and ElementalSubstance 例 Object and ElementalSubstance 等於 Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 資源 Process and Object 結果 Process and Entity
(=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT))))	Mid-level-ontology.kif 8754-8763	例 Entity and 鹽 Process Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 例 Object and 鈉資源 Process and Object 例 Object and 氯結果 Process and Entity
(=> (instance ?WATER Water) (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?HYDROGEN) (instance ?HYDROGEN Hydrogen) (resource ?SYNTHESIS ?OXYGEN) (instance ?OXYGEN Oxygen) (result ?SYNTHESIS ?WATER))))	Mid-level-ontology.kif 8782-8791	例 Entity and Water Process Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 例 Object and 氫資源 Process and Object 例 Object and 氧結果 Process and Entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: