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...

VerbNet: other_cos-45.4|corrode, other_cos-45.4|corrode, remedy-45.7|iodize, remedy-45.7|iodize, shake-22.3|ligate, other_cos-45.4|oxidize, other_cos-45.4|oxidize, other_cos-45.4|oxidize, other_cos-45.4|corrode, create-26.4|synthesize, create-26.4|synthesize,


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 11588-11589
No TPTP formula. May not be expressible in strict first order. Merge.kif 11586-11586 Chemical synthesis is a subclass of chemical process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11587-11587 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 11568-11568 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 17393-17393 Chemical reduction is a subclass of chemical synthesis
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1170-1170
No TPTP formula. May not be expressible in strict first order. english_format.kif 1562-1562

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11599-11609 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental substance and the object is not equal to 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. Mid-level-ontology.kif 6172-6182 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 the object is not equal to 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 11591-11597
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8439-8448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8467-8476


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners