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 12322-12323 | |
(subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12320-12320 | 化学分解 是 化学过程 的 subclass |
(subclass ChemicalDecomposition Separating) | Merge.kif 12321-12321 | 化学分解 是 分开 的 subclass |
appearance as argument number 2 |
![]() |
(subclass CatabolicProcess ChemicalDecomposition) | Mid-level-ontology.kif 9662-9662 | CatabolicProcess 是 化学分解 的 subclass |
(subclass Combustion ChemicalDecomposition) | Merge.kif 12333-12333 | 燃烧 是 化学分解 的 subclass |
(subclass Oxidation ChemicalDecomposition) | Mid-level-ontology.kif 18929-18929 | 氧化 是 化学分解 的 subclass |
(termFormat ChineseLanguage ChemicalDecomposition "化学分解") | chinese_format.kif 1171-1171 | |
(termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") | english_format.kif 1559-1559 |
appearance as argument number 3 |
![]() |
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12266-12266 | 化学过程 详尽无遗地 partition 成 化学合成 和 化学分解 |
consequent |
![]() |
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12325-12331 | |
(=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 10206-10211 |
![]() |
![]() |