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

(documentation Fermentation EnglishLanguage "Fermentation in food processing typically is the conversion of carbohydrates to alcohols and carbon dioxide or organic acids using yeasts, bacteria, or a combination thereof, under anaerobic conditions. [Wikipedia]")	Food.kif 3543-3546
(subclass Fermentation BiologicalProcess)	Food.kif 3542-3542	Fermentation is a subclass of biological process
(subclass Fermentation PreservingFood)	Food.kif 203-203	Fermentation is a subclass of preserving food

appearance as argument number 2

(termFormat EnglishLanguage Fermentation "fermentation")

domainEnglishFormat.kif 64903-64903

antecedent

(=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine))	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
(=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C))))	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

(=> (attribute ?FOOD FermentedAttribute) (exists (?F) (and (instance ?F Fermentation) (result ?F ?FOOD))))	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
(=> (instance ?FM FermentedMilkProduct) (exists (?M ?F) (and (instance ?M Milk) (instance ?F Fermentation) (patient ?F ?M) (result ?F ?FM))))	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
(=> (instance ?S Sake) (exists (?R ?F) (and (instance ?F Fermentation) (resource ?F ?R) (instance ?R Rice) (result ?F ?S))))	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
(=> (instance ?V Vinegar) (exists (?F) (and (instance ?F Fermentation) (result ?F ?V))))	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