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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis
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 "这是当简单反应物组成 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 11588-11589
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 11586-11586 subclass ChemicalSynthesis and ChemicalProcess
(subclass ChemicalSynthesis Combining) Merge.kif 11587-11587 subclass ChemicalSynthesis and Combining

appearance as argument number 2
-------------------------


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

consequent
-------------------------


(<=>
    (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 11599-11609 instance Entity and CompoundSubstance Object Object and Process instance Object and ElementalSubstance instance Object and ElementalSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity
(<=>
    (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 6172-6182 instance Entity and ConjugatedSubstance Object Object and Process instance Object and CompoundSubstance instance Object and CompoundSubstance equal Object and Object instance Process and ChemicalSynthesis resource Process and Object resource Process and Object result Process and Entity
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))		 Merge.kif 11591-11597
(=>
    (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 8439-8448
(=>
    (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 8467-8476


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