TreeView Knowledge Base Browser - ChemicalReduction

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ChemicalReduction

Sigma KEE - ChemicalReduction

ChemicalReduction(chemical reduction)

reducing, reduction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19560-19560	Chemical reduction is disjoint from oxidating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19561-19562
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19559-19559	Chemical reduction is a subclass of chemical synthesis

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14328-14328
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14327-14327
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14326-14326

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19564-19576

If a process is an instance of chemical reduction and an entity is a patient of the process and a real number is an electron number of the entity holds during the beginning of the time of existence of the process,
then there exists another real number such that the other real number is greater than the real number and the other real number is an electron number of the entity holds during the end of the time of existence of the process

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

Show without tree

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