Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Malt
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Malt PlantProduct) | Economy.kif 4492-4492 | Malt is a subclass of plant product |
| (subclass Malt Grain) | Economy.kif 4493-4493 | Malt is a subclass of grain |
| (documentation Malt EnglishLanguage "Malt is germinated cereal grains that have been dried in a process known as 'malting'. Malted grain is used to make beer, whisky, malted shakes, malt vinegar, confections, flavored drinks such as Ovaltine, and some baked goods, such as malt loaf.") | Economy.kif 4494-4496 | Malt is a subclass of grain |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Malt "malt") | domainEnglishFormat.kif 65147-65147 |
| antecedent |
|
|
| (=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass)) |
Economy.kif 4498-4504 | If equal X and Object made from Y, X is a subclass of malt, and Y is a subclass of cereal grain, then every Y is initially part of a cereal grass plant |
| consequent |
|
|
| (=> (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 |
|