Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Latte(latte) |  | caffe_latte, latte |
| appearance as argument number 1 |
|
|
| (subclass Latte Coffee) | Food.kif 1366-1366 | Latte is a subclass of coffee |
| (documentation Latte EnglishLanguage "A Latte is typically made with 1 shot of Espresso with 7 part of foamed milk, so a standard 30ml of espresso with 210ml of milk, giving a 240ml of La.Thttee milk foam on the top is 12mm in thickness. [Wikipedia]") | Food.kif 1367-1369 | Latte is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Latte "latte") | Food.kif 1370-1370 |
| antecedent |
|
|
| (=> (instance ?L Latte) (and (material MilkFoam ?L) (material Espresso ?L))) |
Food.kif 1372-1376 | If X is an instance of latte, then X is made of milk foam and X is made of espresso |
| (=> (and (instance ?C Latte) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (instance ?B Bubble) (top ?B ?M) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.21) (approximateValue ?L 12.0))) |
Food.kif 1378-1394 | If All of the following hold: (1) X is an instance of latte (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 milk foam (6) A Mixture containing W unit liter of Y and V unit liter of Z (7) U is a part of Z (8) U is an instance of bubble (9) the top of Z is U (10) the measure of U is T millimeter(s), then the approximate value of W is 0.03, the approximate value of V is 0.21, and the approximate value of T is 12.0 |
|