Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Americano(americano) |
| appearance as argument number 1 |
|
| (subclass Americano Coffee) | Food.kif 1282-1282 | Americano is a subclass of coffee |
| (documentation Americano EnglishLanguage "An Americano is is a type of coffee drink prepared by diluting an espresso with hot water (typically 1:5). [Wikipedia] ") | Food.kif 1283-1284 | Americano is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Americano "americano") | Food.kif 1285-1285 | |
| (ingredient Espresso Americano) | Food.kif 1286-1286 | Espresso is an ingredient in americano |
| (ingredient DrinkingWater Americano) | Food.kif 1287-1287 | Potable water is an ingredient in americano |
| antecedent |
|
|
| (=> (instance ?A Americano) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90 CelsiusDegree)) (destination ?P ?E) (instance ?E Espresso) (result ?P ?A)))) |
Food.kif 1289-1299 | If X is an instance of americano, then there exist Y, Z and W such that Y is an instance of pouring and Z is a patient of Y and Z is an instance of potable water and the measure of Z is 90 celsius degree(s) and Y ends up at W and W is an instance of espresso and X is a result of Y |
| (=> (and (instance ?A Americano) (part ?E ?A) (part ?W ?A) (instance ?E Espresso) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90.0 CelsiusDegree)) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15))) |
Food.kif 1300-1311 | If All of the following hold: (1) X is an instance of americano (2) Y is a part of X (3) Z is a part of X (4) Y is an instance of espresso (5) Z is an instance of potable water (6) the measure of Z is 90.0 celsius degree(s) (7) A Mixture containing W unit liter of Y and V unit liter of Z, then the approximate value of W is 0.03 and the approximate value of V is 0.15 |
|