ChemicalSynthesis(chemical synthesis) | ![]() | anamorphism, association, autophytic, autotrophic, biosynthetic, breathe, build, butylate, carbonate, carbonise, carbonize, carburise, carburize, catabolise, catabolize, chelate, chelation, chemosynthesis, chlorination, cold_fusion, compounded, corrode, eat, exchange, fusion, hydrogenate, iodinating, iodination, iodise, iodize, ligate, nitrate, nuclear_fusion, nuclear_fusion_reaction, nucleosynthesis, oxidate, oxidise, oxidize, polymerisation, polymerization, prechlorination, react, rust, solvation, synthesis, synthesise, synthesize, synthetically, thermonuclear_reaction, uncompounded... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3185-3186 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12678-12679 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12676-12676 | Chemical synthesis is a subclass of chemical process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12677-12677 | Chemical synthesis is a subclass of combining |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12658-12658 | Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11427-11427 | Anabolic process is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21131-21131 | Chemical reduction is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4256-4256 | Corrosion is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21150-21150 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1170-1170 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1557-1557 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 848-848 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 380-380 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 383-383 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2532-2532 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 800-800 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 419-419 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 678-678 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 869-869 | Oxidating is a subclass of chemical synthesis |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 384-384 | Oxidating is a subclass of chemical synthesis |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12701-12710 |
|
consequent |
![]() |
![]() |
![]() |