| ChemicalProcess | |
| 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 12644-12651 | |
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12643-12643 | |
| (subclass ChemicalProcess InternalChange) | Merge.kif 12642-12642 |
| appearance as argument number 2 |
|
|
| (subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12697-12697 | |
| (subclass ChemicalSynthesis ChemicalProcess) | Merge.kif 12661-12661 | |
| (subclass Metabolism ChemicalProcess) | Mid-level-ontology.kif 11428-11428 | |
| (termFormat ChineseLanguage ChemicalProcess "化学过程") | chinese_format.kif 1169-1169 | |
| (termFormat EnglishLanguage ChemicalProcess "chemical process") | english_format.kif 1555-1555 | |
| (termFormat FrenchLanguage ChemicalProcess "processus chimique") | french_format.kif 847-847 | |
| (termFormat Hindi ChemicalProcess "raasaayanika prakriyaa") | terms-hindi.txt 379-379 | |
| (termFormat ItalianLanguage ChemicalProcess "ProcessoChimico") | terms-it.txt 382-382 | |
| (termFormat JapaneseLanguage ChemicalProcess "化学プロセス") | japanese_format.kif 2531-2531 | |
| (termFormat PortugueseLanguage ChemicalProcess "Processo Quimico") | portuguese_format.kif 799-799 | |
| (termFormat cb ChemicalProcess "kimika asunto") | terms-cb.txt 384-384 | |
| (termFormat cz ChemicalProcess "chemical process") | terms-cz.txt 418-418 | |
| (termFormat de ChemicalProcess "chemischer Prozess") | terms-de.txt 677-677 | |
| (termFormat ro ChemicalProcess "proces chimic") | relations-ro.kif 868-868 | |
| (termFormat tg ChemicalProcess "kimikal na paraan") | terms-tg.txt 383-383 |
| appearance as argument number 3 |
|
|
| (domain catalyst 1 ChemicalProcess) | VirusProteinAndCellPart.kif 258-258 | |
| (domain reactant 1 ChemicalProcess) | Mid-level-ontology.kif 10020-10020 | |
| (domain reagent 1 ChemicalProcess) | Mid-level-ontology.kif 10027-10027 |
| 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 9950-9960 | |
| (=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12653-12659 |
| consequent |
|
|
| (=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 17243-17248 | |
| (=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 261-263 | |
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 21219-21221 |
|
|
|