Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Fermentation(fermentation) |  | bottom_fermentation, brew, brewing, ferment, fermentation, fermenting, top_fermentation, vinification, vinify, work, zymolysis, zymosis |
| appearance as argument number 1 |
|
|
| (subclass Fermentation PreservingFood) | Food.kif 203-203 | Fermentation is a subclass of preserving food |
| (subclass Fermentation BiologicalProcess) | Food.kif 3580-3580 | Fermentation is a subclass of biological process |
| (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 3581-3584 | Fermentation is a subclass of biological process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Fermentation "fermentation") | domainEnglishFormat.kif 64858-64858 |
| antecedent |
|
|
| (=> (instance ?F Fermentation) (exists (?C ?M) (and (instance ?C Carbohydrate) (instance ?M Microorganism) (instrument ?F ?M) (resource ?F ?C)))) |
Food.kif 3585-3592 | If X is an instance of fermentation, then there exist Y, Z such that Y is an instance of carbohydrate, Z is an instance of microorganism, Z is an instrument for X, and Y is a resource for X |
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3731-3738 | If X is an instance of fermentation, Y is a patient of X, Y is an instance of the juice of wine grape, and Z is a result of X, then Z is an instance of wine |
| consequent |
|
|
| (=> (attribute ?FOOD FermentedAttribute) (exists (?F) (and (instance ?F Fermentation) (result ?F ?FOOD)))) |
Food.kif 211-216 | If fermented is an attribute of X, then there exists Y such that Y is an instance of fermentation and X is a result of Y |
| (=> (instance ?FM FermentedMilkProduct) (exists (?M ?F) (and (instance ?M Milk) (instance ?F Fermentation) (patient ?F ?M) (result ?F ?FM)))) |
Food.kif 3187-3194 | If X is an instance of fermented milk product, then there exist Y, Z such that Y is an instance of milk, Z is an instance of fermentation, Y is a patient of Z, and X is a result of Z |
| (=> (instance ?V Vinegar) (exists (?F) (and (instance ?F Fermentation) (result ?F ?V)))) |
Food.kif 3607-3612 | If X is an instance of vinegar, then there exists Y such that Y is an instance of fermentation and X is a result of Y |
| (=> (instance ?S Sake) (exists (?R ?F) (and (instance ?F Fermentation) (resource ?F ?R) (instance ?R Rice) (result ?F ?S)))) |
Medicine.kif 3509-3516 | If X is an instance of sake, then there exist Y, Z such that Z is an instance of fermentation, Y is a resource for Z, Y is an instance of Rice, and X is a result of Z |
| (=> (instance ?B Beer) (exists (?BREW ?W ?M) (and (instance ?BREW Fermentation) (instance ?W Water) (instance ?M Malt) (resource ?BREW ?W) (resource ?BREW ?M) (result ?BREW ?B)))) |
Society.kif 1132-1141 | If X is an instance of beer, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of fermentation (3) Z is an instance of water (4) W is an instance of malt (5) Z is a resource for Y (6) W is a resource for Y (7) X is a result of Y |
| (=> (instance ?B BeerBrewery) (hasPurpose ?B (exists (?EV) (and (instance ?EV Fermentation) (eventLocated ?EV ?B) (result ?EV Beer))))) |
Society.kif 1155-1162 | If X is an instance of BeerBrewery, then X has the purpose there exists Y such that Y is an instance of fermentation, Y is located at X, and beer is a result of Y |
| (=> (instance ?W Wine) (exists (?F ?WG) (and (instance ?F Fermentation) (instance ?WG (JuiceOfFn WineGrape)) (resource ?F ?WG) (result ?F ?W)))) |
Society.kif 1180-1187 | If X is an instance of wine, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of wine grape, Z is a resource for Y, and X is a result of Y |
| (=> (instance ?C Cider) (exists (?F ?A) (and (instance ?F Fermentation) (instance ?A (JuiceOfFn Apple)) (resource ?F ?A) (result ?F ?C)))) |
Society.kif 1194-1201 | If X is an instance of cider, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of apple, Z is a resource for Y, and X is a result of Y |
| (=> (instance ?S Sake) (exists (?F ?WATER ?R) (and (instance ?F Fermentation) (instance ?WATER Water) (instance ?R RiceGrain) (resource ?F ?WATER) (resource ?F ?R) (result ?F ?S)))) |
Society.kif 1225-1234 | If X is an instance of sake, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of fermentation (3) Z is an instance of water (4) W is an instance of rice grain (5) Z is a resource for Y (6) W is a resource for Y (7) X is a result of Y |
|