ChemicalEquilibrium - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - ChemicalEquilibrium

ChemicalEquilibrium(chemical equilibrium)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19627-19629
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19626-19626	Chemical equilibrium is an instance of internal attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14310-14310
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14309-14309
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14308-14308

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19635-19642	If an entity the attribute chemical equilibrium, then there exist a real number, a time position,, , another real number and a third real number such that if the other real number is a resource for the entity holds during the time position and the third real number is a result of the entity holds during the time position, then the real number is equal to the other real number and the third real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19631-19633	If an entity the attribute chemical equilibrium, then the entity is an instance of chemical process

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