| 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 12475-12482 | |
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12474-12474 | 劃分 ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition |
| (subclass ChemicalProcess InternalChange) | Merge.kif 12473-12473 | 子類 ChemicalProcess and InternalChange |
| appearance as argument number 2 |
|
|
| (subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12528-12528 | 子類 ChemicalDecomposition and ChemicalProcess |
| (subclass ChemicalSynthesis ChemicalProcess) | Merge.kif 12492-12492 | 子類 ChemicalSynthesis and ChemicalProcess |
| (subclass Metabolism ChemicalProcess) | Mid-level-ontology.kif 10053-10053 | 子類 Metabolism and ChemicalProcess |
| (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 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 254-254 | 域 催化劑, 1 and ChemicalProcess |
| (domain reactant 1 ChemicalProcess) | Mid-level-ontology.kif 8768-8768 | 域 反應, 1 and ChemicalProcess |
| (domain reagent 1 ChemicalProcess) | Mid-level-ontology.kif 8775-8775 | 域 試劑, 1 and ChemicalProcess |
| 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 8698-8708 | |
| (=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12484-12490 |
| consequent |
|
|
| (=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 15808-15813 | |
| (=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 257-259 | |
| (=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 19580-19582 |
|
|
|