ChemicalDecomposition
|
|
appearance as argument number 1 |
(documentation ChemicalDecomposition ChineseLanguage "这是当 CompoundSubstance 分解成更 简单产物的 ChemicalProcess Class。") | chinese_format.kif 3187-3188 | |
(documentation ChemicalDecomposition EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance breaks down into simpler products.") | Merge.kif 12560-12561 | |
(subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12558-12558 | Chemical decomposition is a subclass of chemical process |
(subclass ChemicalDecomposition Separating) | Merge.kif 12559-12559 | Chemical decomposition is a subclass of separating |
appearance as argument number 2 |
appearance as argument number 3 |
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12504-12504 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
consequent |