Fermentation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Fermentation

Fermentation(fermentation)

bottom_fermentation, brew, brewing, ferment, fermentation, fermenting, top_fermentation, vinification, vinify, work, zymolysis, zymosis

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3543-3546
No TPTP formula. May not be expressible in strict first order.	Food.kif 3542-3542	Fermentation is a subclass of biological process
No TPTP formula. May not be expressible in strict first order.	Food.kif 203-203	Fermentation is a subclass of preserving food

appearance as argument number 2

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

domainEnglishFormat.kif 64855-64855

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3692-3699	If a process is an instance of fermentation and an entity is a patient of the process and the entity is an instance of the juice of wine grape and another entity is a result of the process, then the other entity is an instance of wine
No TPTP formula. May not be expressible in strict first order.	Food.kif 3547-3554	If a process is an instance of fermentation, then there exist an object and another object such that the object is an instance of carbohydrate and the other object is an instance of microorganism and the other object is an instrument for the process and the object is a resource for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 211-216	If fermented is an attribute of an object, then there exists a process such that the process is an instance of fermentation and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3157-3164	If an entity is an instance of fermented milk product, then there exist another entity and a process such that the other entity is an instance of milk and the process is an instance of fermentation and the other entity is a patient of the process and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3479-3486	If an entity is an instance of sake, then there exist an object and a process such that the process is an instance of fermentation and the object is a resource for the process and the object is an instance of Rice and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3570-3575	If an entity is an instance of vinegar, then there exists a process such that the process is an instance of fermentation and the entity is a result of the 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