Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis

VerbNet: other_cos-45.4|corrode, other_cos-45.4|corrode, remedy-45.7|iodize, remedy-45.7|iodize, shake-22.3|ligate, other_cos-45.4|oxidize, other_cos-45.4|oxidize, other_cos-45.4|oxidize, other_cos-45.4|corrode, create-26.4|synthesize, create-26.4|synthesize,

appearance as argument number 1

(documentation ChemicalSynthesis ChineseLanguage "这是当简单反应物组成 CompoundSubstanceChemicalProcess Class。") chinese_format.kif 3185-3186
(documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.") Merge.kif 11487-11488
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 11485-11485
(subclass ChemicalSynthesis Combining) Merge.kif 11486-11486

appearance as argument number 2

(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 11467-11467
(subclass ChemicalReduction ChemicalSynthesis) Mid-level-ontology.kif 17340-17340
(termFormat ChineseLanguage ChemicalSynthesis "化学合成") chinese_format.kif 1170-1170
(termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis") english_format.kif 1562-1562


    (instance ?COMPOUND CompoundSubstance)
    (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
            (instance ?ELEMENT1 ElementalSubstance)
            (instance ?ELEMENT2 ElementalSubstance)
                (equal ?ELEMENT1 ?ELEMENT2))
            (instance ?PROCESS ChemicalSynthesis)
            (resource ?PROCESS ?ELEMENT1)
            (resource ?PROCESS ?ELEMENT2)
            (result ?PROCESS ?COMPOUND))))
Merge.kif 11498-11508
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))
Mid-level-ontology.kif 6166-6176
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))
Merge.kif 11490-11496
    (instance ?SALT SodiumChloride)
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?SODIUM)
            (instance ?SODIUM Sodium)
            (resource ?SYNTHESIS ?CHLORINE)
            (instance ?CHLORINE Chlorine)
            (result ?SYNTHESIS ?SALT))))
Mid-level-ontology.kif 8432-8441
    (instance ?WATER Water)
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?HYDROGEN)
            (instance ?HYDROGEN Hydrogen)
            (resource ?SYNTHESIS ?OXYGEN)
            (instance ?OXYGEN Oxygen)
            (result ?SYNTHESIS ?WATER))))
Mid-level-ontology.kif 8460-8469

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners