|
|
   EspressoMaking
|
|
|
| appearance as argument number 1 |
|
|
| (documentation EspressoMaking EnglishLanguage "An EspressoMaking is a ubclass of CoffeeMaking, a Coffee brewing method of which approximately 25-30 ml of DrinkingWater at abour 90 degree centigrate is forced under 900-1,000 kPa of pressure through finely ground (FineGrind) CoffeeGrind.[Wikipedia]") | Food.kif 785-788 | |
| (optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) | Food.kif 790-790 | |
| (subclass EspressoMaking CoffeeMaking) | Food.kif 783-783 | |
| (subclass EspressoMaking Heating) | Food.kif 784-784 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EspressoMaking "espresso making") | Food.kif 789-789 |
| antecedent |
|
|
| (=> (instance ?EM EspressoMaking) (exists (?C) (and (result ?EM ?C) (instance ?C Coffee)))) |
Food.kif 792-797 | |
| (=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R))))))) |
Food.kif 799-834 |
| consequent |
|
|
| (=> (instance ?E Espresso) (exists (?M) (and (instance ?M EspressoMaking) (result ?M ?E)))) |
Food.kif 747-752 |
|
|
|