| 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 的反应，但是它们本身不能产生任何东西或被消耗掉。 例如：以电流令铁生锈和水分解得出气态的氢和氧。") | chinese_format.kif 3181-3184 | |
| (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 12580-12587 | |
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12579-12579 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
| (subclass ChemicalProcess InternalChange) | Merge.kif 12578-12578 | Chemical process is a subclass of internal change |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain catalyst 1 ChemicalProcess) | VirusProteinAndCellPart.kif 254-254 | The number 1 argument of catalyst is an instance of chemical process |
| (domain reactant 1 ChemicalProcess) | Mid-level-ontology.kif 9569-9569 | The number 1 argument of reactant is an instance of chemical process |
| (domain reagent 1 ChemicalProcess) | Mid-level-ontology.kif 9576-9576 | 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 9499-9509 |
|
| (=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12589-12595 |
|
| consequent |
|
|
| (=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 16764-16769 |
|
| (=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 257-259 |
|
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 20720-20722 |
|
|
|
|