Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  FineGrind
|
|
|
| appearance as argument number 1 |
|
|
| (instance FineGrind CoffeeGrindAttribute) | Food.kif 1128-1128 | Fine grind is an instance of coffee grind attribute |
| (documentation FineGrind EnglishLanguage "FineGrind CoffeeGrind has a particle size of aproximateValue of approximateDiameter of 0.3 Millimeters.") | Food.kif 1129-1130 | Fine grind is an instance of coffee grind attribute |
| appearance as argument number 2 |
|
|
| (optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) | Food.kif 767-767 | Fine grind is the optimal CoffeeGrindAttribute for espresso making coffee making process |
| (termFormat EnglishLanguage FineGrind "fine grind") | Food.kif 1131-1131 | Fine grind is the optimal CoffeeGrindAttribute for espresso making coffee making process |
| antecedent |
|
|
| (=> (and (instance ?C CoffeeGrind) (attribute ?C FineGrind) (grainSize ?C ?L)) (equal ?L 0.3)) |
Food.kif 1133-1138 | If X is an instance of coffee grind, fine grind is an attribute of X, and Y is the diameter in UnitOFLength of X, then equal Y and 0.3 |
| consequent |
|
|
| (=> (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 |
|