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 | 化学合成 は 化学プロセス の subclass では %n |
(subclass ChemicalSynthesis Combining) | Merge.kif 12523-12523 | 化学合成 は 組み合わせ の subclass では %n |
appearance as argument number 2 |
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) | Merge.kif 12504-12504 | 化学プロセス は 化学合成 + 化学分解 に exhaustively partitioned %n |
(subclass AnabolicProcess ChemicalSynthesis) | Mid-level-ontology.kif 10098-10098 | AnabolicProcess は 化学合成 の subclass では %n |
(subclass ChemicalReduction ChemicalSynthesis) | Mid-level-ontology.kif 19560-19560 | ChemicalReduction は 化学合成 の subclass では %n |
(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 12547-12556 |
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 6478-6488 | エンティティー は ConjugatedSubstance の instance では %n オブジェクト オブジェクト and 工程 オブジェクト は 合成物質 の instance では %n オブジェクト は 合成物質 の instance では %n オブジェクト は オブジェクト と equal では 工程 は 化学合成 の instance では %n オブジェクト は 工程 の resource では %n オブジェクト は 工程 の resource では %n エンティティー は 工程 の result では %n |
(=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12527-12533 | |
(=> (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 12535-12545 | |
(=> (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 8754-8763 | |
(=> (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 8782-8791 |