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 12582-12583 | |
(subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12580-12580 | Chemical decomposition is a subclass of chemical process |
(subclass ChemicalDecomposition Separating) | Merge.kif 12581-12581 | Chemical decomposition is a subclass of separating |
appearance as argument number 2 |
appearance as argument number 3 |
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12526-12526 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
consequent |