Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis
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
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7415-7425 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and equal the object and the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 12681-12687
No TPTP formula. May not be expressible in strict first order. Merge.kif 12689-12699
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9960-9969
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9988-9997


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners