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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalProcess

Sigma KEE - ChemicalProcess
ChemicalProcess(chemical process)Acheson_process, Haber-Bosch_process, Haber_process, Solvay_process, acetify, acetylate, acetylation, acetylise, acetylize, acidify, activate, acylation, addition_reaction, aerate, agglutinating_activity, agglutination, alchemise, alchemize, alcoholise, alcoholize, aldol_reaction, alkalify, alkalinise, alkalinize, alkalise, alkalize, alloy, amylolysis, amylolytic, anabolic, aurify, autocatalysis, autocatalytic, basify, biochemical, brisance, bromate, brominate, calcify, calcination, calcine, capture, carbon_cycle, carbonise, carbonize, catalyse, catalysis, catalytic, catalyze, chain_reaction...

appearance as argument number 1
-------------------------


(documentation ChemicalProcess ChineseLanguage "ChemicalProcess 发生在当化合物 (CompoundSubstance) 形成或被分解的时候。例如:反应物随着化学变化消失,和成品随着化学变化出现。化学反应 在化学变化时发生。催化剂可能会加快 ChemicalProcess 的反应,但是它们本身不能产生任何东西或被消耗掉。 例如:以电流令铁生锈和水分解得出气态的氢和氧。") Merge.kif 12421-12424
(documentation ChemicalProcess EnglishLanguage "A ChemicalProcess occurs whenever chemical compounds (CompoundSubstances) are formed or decomposed. For example, reactants disappear as chemical change occurs, and products appear as chemical change occurs. In a chemical change a chemical reaction takes place. Catalysts in a ChemicalProcess may speed up the reaction, but aren't themselves produced or consumed. Examples: rusting of iron and the decomposition of water, induced by an electric current, to gaseous hydrogen and gaseous oxygen.") Merge.kif 12413-12420
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12412-12412 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
(subclass ChemicalProcess InternalChange) Merge.kif 12411-12411 Chemical process is a subclass of internal change

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


(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12461-12461 Chemical decomposition is a subclass of chemical process
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 12434-12434 Chemical synthesis is a subclass of chemical process
(termFormat ChineseLanguage ChemicalProcess "化学过程") chinese_format.kif 1169-1169 "化学过程" is the printable form of chemical process in ChineseLanguage
(termFormat EnglishLanguage ChemicalProcess "chemical process") english_format.kif 856-856 "chemical process" is the printable form of chemical process in english language

appearance as argument number 3
-------------------------


(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 8472-8472 The number 1 argument of reactant is an instance of chemical process
(domain reagent 1 ChemicalProcess) Mid-level-ontology.kif 8480-8480 The number 1 argument of reagent is an instance of chemical process

antecedent
-------------------------


(=>
    (and
        (instance ?CA ChemicalAcid)
        (instance ?CB ChemicalBase)
        (instance ?C ChemicalProcess)
        (patient ?C ?CA)
        (patient ?C ?CB))
    (exists (?CS)
        (and
            (instance ?CS ChemicalSalt)
            (result ?C ?CS))))
Mid-level-ontology.kif 8402-8412
(=>
    (and
        (instance ?PROC ChemicalProcess)
        (or
            (resource ?PROC ?STUFF)
            (result ?PROC ?STUFF)))
    (instance ?STUFF PureSubstance))
Merge.kif 12426-12432

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


(=>
    (instance ?EXPLOSION Explosion)
    (exists (?PROC)
        (and
            (instance ?PROC ChemicalProcess)
            (causes ?PROC ?EXPLOSION))))
Mid-level-ontology.kif 13492-13497
(=>
    (instance ?OBJ Enzyme)
    (capability ChemicalProcess catalyst ?OBJ))
VirusProteinAndCellPart.kif 209-211
(=>
    (property ?PROCESS ChemicalEquilibrium)
    (instance ?PROCESS ChemicalProcess))
Mid-level-ontology.kif 17408-17410


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

Show without tree


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