VerbNet: entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot,
| ChemicalDecomposition | | VerbNet: entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, entity_specific_cos-45.5|rot, |
| 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 11512-11513 | |
| (subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 11510-11510 | subclass ChemicalDecomposition and ChemicalProcess |
| (subclass ChemicalDecomposition Separating) | Merge.kif 11511-11511 | subclass ChemicalDecomposition and Separating |
| appearance as argument number 2 |
|
|
| (subclass Combustion ChemicalDecomposition) | Merge.kif 11523-11523 | subclass Combustion and ChemicalDecomposition |
| (subclass Oxidation ChemicalDecomposition) | Mid-level-ontology.kif 17357-17357 | subclass Oxidation and ChemicalDecomposition |
| (termFormat ChineseLanguage ChemicalDecomposition "化学分解") | chinese_format.kif 1171-1171 | termFormat ChineseLanguage, ChemicalDecomposition and "化学分解" |
| (termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") | english_format.kif 1564-1564 | termFormat EnglishLanguage, ChemicalDecomposition and "chemical decomposition" |
| appearance as argument number 3 |
|
|
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 11467-11467 | partition ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition |
| consequent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 11515-11521 | |
| (=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 9585-9590 |
|
|
|