|
|
   Latte
|
|
|
| appearance as argument number 1 |
|
|
| (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 1388-1390 | |
| (subclass Latte Coffee) | Food.kif 1387-1387 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Latte "latte") | Food.kif 1391-1391 |
| antecedent |
|
|
| (=> (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 1399-1415 | |
| (=> (instance ?L Latte) (and (material MilkFoam ?L) (material Espresso ?L))) |
Food.kif 1393-1397 |
|
|
|