Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   EspressoMaking
|
|
|
| appearance as argument number 1 |
|
|
| (subclass EspressoMaking CoffeeMaking) | Food.kif 760-760 | Espresso making is a subclass of coffee making |
| (subclass EspressoMaking Heating) | Food.kif 761-761 | Espresso making is a subclass of heating |
| (documentation EspressoMaking EnglishLanguage "An EspressoMaking is a subclass 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 762-765 | Espresso making is a subclass of heating |
| (optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) | Food.kif 767-767 | Fine grind is the optimal CoffeeGrindAttribute for espresso making coffee making process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EspressoMaking "espresso making") | Food.kif 766-766 |
| antecedent |
|
|
| (=> (instance ?EM EspressoMaking) (exists (?C) (and (result ?EM ?C) (instance ?C Coffee)))) |
Food.kif 769-774 | If X is an instance of espresso making, then there exists Y such that Y is a result of X and Y is an instance of coffee |
| (=> (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 CollectionOfObjects) (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 776-811 | If X is an instance of espresso making, then there exist Y, Z,, , W,, , V,, , U,, , T,, , S,, , R,, , Q,, , P and O such that Y is an instance of heating and Z is a patient of Y and the measure of Z is W liter(s) and the approximate value of W is 0.03 and the measure of Z is V celsius degree(s) and the approximate value of V is 90 holds during the end of the time of existence of Y and U is an instance of liquid motion and Z is a patient of U and the measure of Z is T 1 thousand pascals(s) and the approximate value of T is 900 holds during U and U ends up at S and S is an instance of collection and the measure of S is R gram(s) and the approximate value of R is 7.5 and S is a member of Q and Q is an instance of coffee grind and fine grind is an attribute of Q and S is located at P and P is an instance of filter and O is an instance of removing and P is an instrument for O and S is a patient of O and the end of the time of existence of U is between the end of the time of existence of Y and the end of the time of existence of O holds during X |
| consequent |
|
|
| (=> (instance ?E Espresso) (exists (?M) (and (instance ?M EspressoMaking) (result ?M ?E)))) |
Food.kif 724-729 | If X is an instance of espresso, then there exists Y such that Y is an instance of espresso making and X is a result of Y |
|