| 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 12714-12715 | |
| (subclass ChemicalDecomposition ChemicalProcess) | Merge.kif 12712-12712 | 化学分解 は 化学プロセス の subclass では |
| (subclass ChemicalDecomposition Separating) | Merge.kif 12713-12713 | 化学分解 は 分離 の subclass では |
| appearance as argument number 2 |
|
|
| (subclass CatabolicProcess ChemicalDecomposition) | Mid-level-ontology.kif 11423-11423 | CatabolicProcess は 化学分解 の subclass では |
| (subclass Combustion ChemicalDecomposition) | Merge.kif 12725-12725 | 燃焼 は 化学分解 の subclass では |
| (termFormat ChineseLanguage ChemicalDecomposition "化学分解") | chinese_format.kif 1171-1171 | 燃焼 は 化学分解 の subclass では |
| (termFormat EnglishLanguage ChemicalDecomposition "chemical decomposition") | english_format.kif 1559-1559 | 燃焼 は 化学分解 の subclass では |
| (termFormat FrenchLanguage ChemicalDecomposition "d�composition chemical") | french_format.kif 849-849 | 燃焼 は 化学分解 の subclass では |
| (termFormat Hindi ChemicalDecomposition "raasaayanika vivechana") | terms-hindi.txt 381-381 | 燃焼 は 化学分解 の subclass では |
| (termFormat ItalianLanguage ChemicalDecomposition "DecomposizioneChimica") | terms-it.txt 384-384 | 燃焼 は 化学分解 の subclass では |
| (termFormat JapaneseLanguage ChemicalDecomposition "化学分解") | japanese_format.kif 2533-2533 | 燃焼 は 化学分解 の subclass では |
| (termFormat PortugueseLanguage ChemicalDecomposition "Decomposicao Quimica") | portuguese_format.kif 801-801 | 燃焼 は 化学分解 の subclass では |
| (termFormat cz ChemicalDecomposition "chemical decomposition") | terms-cz.txt 420-420 | 燃焼 は 化学分解 の subclass では |
| (termFormat de ChemicalDecomposition "chemische Aufspaltung") | terms-de.txt 679-679 | 燃焼 は 化学分解 の subclass では |
| (termFormat ro ChemicalDecomposition "decompoziþie chimicã") | relations-ro.kif 870-870 | 燃焼 は 化学分解 の subclass では |
| (termFormat tg ChemicalDecomposition "pagbubulok ng kimikal") | terms-tg.txt 385-385 | 燃焼 は 化学分解 の subclass では |
| appearance as argument number 3 |
|
|
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12658-12658 | 化学プロセス は 化学合成 + 化学分解 に exhaustively partitioned |
| 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 12717-12723 | |
| (=> (instance ?DIGEST Digesting) (exists (?DECOMP) (and (instance ?DECOMP ChemicalDecomposition) (subProcess ?DECOMP ?DIGEST)))) |
Merge.kif 10439-10444 |
|
|
|