![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
ColdBrewingCoffee
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ColdBrewingCoffee CoffeeMaking) | Food.kif 813-813 | Cold brew coffee is a subclass of coffee making |
| (documentation ColdBrewingCoffee EnglishLanguage "ColdBrewingCoffee, also called cold water extraction or cold pressing, is the process of steeping coffee grounds in water at cool temperatures for an extended period. Coarse_ground beans are soaked in water for about 12 to 24 hours. [Wikipedia]") | Food.kif 814-817 | Cold brew coffee is a subclass of coffee making |
| (optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) | Food.kif 819-819 | Extra coarse grind is the optimal CoffeeGrindAttribute for cold brew coffee coffee making process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ColdBrewingCoffee "cold brew coffee") | Food.kif 818-818 |
| antecedent |
|
|
| (=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree))))) |
Food.kif 821-828 | If X is an instance of cold brew coffee, then there exists Y such that Y is an instance of potable water and Y is a resource for X and the measure of Y is 20 celsius degree(s) |