Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass ChemicalProcess InternalChange) | Merge.kif 12793-12793 | Chemical process is a subclass of internal change |
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12794-12794 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
| (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 12795-12802 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain reactant 1 ChemicalProcess) | Mid-level-ontology.kif 10163-10163 | The number 1 argument of reactant is an instance of chemical process |
| (domain reagent 1 ChemicalProcess) | Mid-level-ontology.kif 10170-10170 | The number 1 argument of reagent is an instance of chemical process |
| (domain catalyst 1 ChemicalProcess) | VirusProteinAndCellPart.kif 258-258 | The number 1 argument of catalyst is an instance of chemical process |
| antecedent |
|
|
| (=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12804-12810 | If X is an instance of chemical process and Y is a resource for X or Y is a result of X, then Y is an instance of pure substance |
| (=> (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 10093-10103 | If X is an instance of acid, Y is an instance of chemical base, Z is an instance of chemical process, X is a patient of Z, and Y is a patient of Z, then there exists W such that W is an instance of salt and W is a result of Z |
| consequent |
|
|
| (=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 17447-17452 | If X is an instance of explosion, then there exists Y such that Y is an instance of chemical process and Y causes X |
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 21531-21533 | If X the attribute chemical equilibrium, then X is an instance of chemical process |
| (=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 261-263 | If X is an instance of enzyme, then X is capable of doing chemical process as a catalyst |
|