| Fermentation | |
| 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 3550-3553 | |
| (subclass Fermentation BiologicalProcess) | Food.kif 3549-3549 | |
| (subclass Fermentation PreservingFood) | Food.kif 203-203 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fermentation "fermentation") | domainEnglishFormat.kif 64878-64878 |
| antecedent |
|
|
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3699-3706 | |
| (=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C)))) |
Food.kif 3554-3561 |
| consequent |
|
|
| (=> (attribute ?FOOD FermentedAttribute) (exists (?F) (and (instance ?F Fermentation) (result ?F ?FOOD)))) |
Food.kif 211-216 | |
| (=> (instance ?FM FermentedMilkProduct) (exists (?M ?F) (and (instance ?M Milk) (instance ?F Fermentation) (patient ?F ?M) (result ?F ?FM)))) |
Food.kif 3164-3171 | |
| (=> (instance ?S Sake) (exists (?R ?F) (and (instance ?F Fermentation) (resource ?F ?R) (instance ?R Rice) (result ?F ?S)))) |
Medicine.kif 3480-3487 | |
| (=> (instance ?V Vinegar) (exists (?F) (and (instance ?F Fermentation) (result ?F ?V)))) |
Food.kif 3577-3582 |
|
|
|