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 12551-12558 | |
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12550-12550 | 化学过程 详尽无遗地 partition 成 化学合成 和 化学分解 |
(subclass ChemicalProcess InternalChange) | Merge.kif 12549-12549 | 化学过程 是 内部变化 的 subclass |
appearance as argument number 2 |
(subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12604-12604 | 化学分解 是 化学过程 的 subclass |
(subclass ChemicalSynthesis ChemicalProcess) | Merge.kif 12568-12568 | 化学合成 是 化学过程 的 subclass |
(subclass Metabolism ChemicalProcess) | Mid-level-ontology.kif 10108-10108 | Metabolism 是 化学过程 的 subclass |
(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 数量 是 化学过程 的 instance |
(domain reactant 1 ChemicalProcess) | Mid-level-ontology.kif 8823-8823 | 反应 的 1 数量 是 化学过程 的 instance |
(domain reagent 1 ChemicalProcess) | Mid-level-ontology.kif 8830-8830 | 试剂 的 1 数量 是 化学过程 的 instance |
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 8753-8763 | |
(=> (and (instance ?PROC ChemicalProcess) (or (resource ?PROC ?STUFF) (result ?PROC ?STUFF))) (instance ?STUFF PureSubstance)) |
Merge.kif 12560-12566 |
consequent |
(=> (instance ?EXPLOSION Explosion) (exists (?PROC) (and (instance ?PROC ChemicalProcess) (causes ?PROC ?EXPLOSION)))) |
Mid-level-ontology.kif 15863-15868 | |
(=> (instance ?OBJ Enzyme) (capability ChemicalProcess catalyst ?OBJ)) |
VirusProteinAndCellPart.kif 257-259 | |
(=> (property ?PROCESS ChemicalEquilibrium) (instance ?PROCESS ChemicalProcess)) |
Mid-level-ontology.kif 19658-19660 |