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 | ChemicalDecomposition ist eine teilkategorie von ChemicalProcess |
(subclass ChemicalDecomposition Separating) | Merge.kif 12581-12581 | ChemicalDecomposition ist eine teilkategorie von Separating |
appearance as argument number 2 |
appearance as argument number 3 |
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12526-12526 | ChemicalProcess wird vollstaendig in ChemicalSynthesis und ChemicalDecomposition verteilt |
consequent |
(=> (and (instance ?P PreservingFood) (instance ?F Food) (patient ?P ?F)) (hasPurpose ?P (not (exists (?D) (and (instance ?D ChemicalDecomposition) (patient ?D ?F)))))) |
Food.kif 191-201 |
|
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12585-12591 |
|
(=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 10321-10326 |
|