ChemicalSynthesis
|
|
appearance as argument number 1 |
(documentation ChemicalSynthesis ChineseLanguage "这是当简单反应物组成 CompoundSubstance 的 ChemicalProcess Class。") | chinese_format.kif 3185-3186 | |
(documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.") | Merge.kif 12524-12525 | |
(subclass ChemicalSynthesis ChemicalProcess) | Merge.kif 12522-12522 | Sintese Quimica e' uma sub-classe de Processo Quimico |
(subclass ChemicalSynthesis Combining) | Merge.kif 12523-12523 | Sintese Quimica e' uma sub-classe de Combinar |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)) (instance ?COMPOUND CompoundSubstance)) |
Merge.kif 12547-12556 |
|
consequent |