| 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 12570-12571 | |
| (subclass ChemicalSynthesis ChemicalProcess) | Merge.kif 12568-12568 | 化学合成 是 化学过程 的 subclass |
| (subclass ChemicalSynthesis Combining) | Merge.kif 12569-12569 | 化学合成 是 结合 的 subclass |
| appearance as argument number 2 |
|
|
| (partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12550-12550 | 化学过程 详尽无遗地 partition 成 化学合成 和 化学分解 |
| (subclass AnabolicProcess ChemicalSynthesis) | Mid-level-ontology.kif 10125-10125 | AnabolicProcess 是 化学合成 的 subclass |
| (subclass ChemicalReduction ChemicalSynthesis) | Mid-level-ontology.kif 19587-19587 | 化学还原 是 化学合成 的 subclass |
| (termFormat ChineseLanguage ChemicalSynthesis "化学合成") | chinese_format.kif 1170-1170 | |
| (termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis") | english_format.kif 1557-1557 | |
| (termFormat FrenchLanguage ChemicalSynthesis "synth�se chimique") | french_format.kif 848-848 | |
| (termFormat Hindi ChemicalSynthesis "raasaayanika sanyojana") | terms-hindi.txt 380-380 | |
| (termFormat ItalianLanguage ChemicalSynthesis "SintesiChimica") | terms-it.txt 383-383 | |
| (termFormat JapaneseLanguage ChemicalSynthesis "化学合成") | japanese_format.kif 2532-2532 | |
| (termFormat PortugueseLanguage ChemicalSynthesis "Sintese Quimica") | portuguese_format.kif 800-800 | |
| (termFormat cz ChemicalSynthesis "chemical synthesis") | terms-cz.txt 419-419 | |
| (termFormat ro ChemicalSynthesis "sintezã chimicã") | relations-ro.kif 869-869 | |
| (termFormat tg ChemicalSynthesis "kathang kimikal") | terms-tg.txt 384-384 |
| 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 12593-12602 |
| consequent |
|
|
| (<=> (instance ?CS ConjugatedSubstance) (exists (?C1 ?C2 ?P) (and (instance ?C1 CompoundSubstance) (instance ?C2 CompoundSubstance) (not (equal ?C1 ?C2)) (instance ?P ChemicalSynthesis) (resource ?P ?C1) (resource ?P ?C2) (result ?P ?CS)))) |
Mid-level-ontology.kif 6472-6482 | 实体 是 共轭物质 的 instance 若且唯若 有存在 客体， 另一个 客体， and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12573-12579 | |
| (=> (instance ?COMPOUND CompoundSubstance) (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS) (and (instance ?ELEMENT1 ElementalSubstance) (instance ?ELEMENT2 ElementalSubstance) (not (equal ?ELEMENT1 ?ELEMENT2)) (instance ?PROCESS ChemicalSynthesis) (resource ?PROCESS ?ELEMENT1) (resource ?PROCESS ?ELEMENT2) (result ?PROCESS ?COMPOUND)))) |
Merge.kif 12581-12591 | |
| (=> (instance ?SALT SodiumChloride) (exists (?SYNTHESIS ?SODIUM ?CHLORINE) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?SODIUM) (instance ?SODIUM Sodium) (resource ?SYNTHESIS ?CHLORINE) (instance ?CHLORINE Chlorine) (result ?SYNTHESIS ?SALT)))) |
Mid-level-ontology.kif 8781-8790 | |
| (=> (instance ?WATER Water) (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN) (and (instance ?SYNTHESIS ChemicalSynthesis) (resource ?SYNTHESIS ?HYDROGEN) (instance ?HYDROGEN Hydrogen) (resource ?SYNTHESIS ?OXYGEN) (instance ?OXYGEN Oxygen) (result ?SYNTHESIS ?WATER)))) |
Mid-level-ontology.kif 8809-8818 |
|
|
|