Espresso
|
|
appearance as argument number 1 |
(documentation Espresso EnglishLanguage "An Espresso is the result of EspressoMaking. A single shot of espresso usually contains approximately 25-30 ml of DrinkingWater. DarkRoast CoffeeBeans are usually used for making espresso coffee. Espresso is served on its own, and is also used as the base for various other coffee drinks, including caffè latte, cappuccino, caffè macchiato, caffè mocha, flat white, and caffè Americano.[Wikipedia]") | Food.kif 740-744 | |
(ingredient Espresso Americano) | Food.kif 1307-1307 | ingredient Espresso and Americano |
(roomTempState Espresso Liquid) | Mid-level-ontology.kif 31446-31446 | roomTempState Espresso and Liquid |
(subclass Espresso Coffee) | Food.kif 739-739 | Espresso ist eine teilkategorie von Coffee |
appearance as argument number 2 |
(termFormat EnglishLanguage Espresso "espresso") | domainEnglishFormat.kif 64828-64828 | |
(termFormat EnglishLanguage Espresso "lungo") | Food.kif 767-767 |
antecedent |
consequent |
(=> (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 1310-1320 |
|
(=> (instance ?C Cappuccino) (and (material MilkFoam ?C) (material Espresso ?C))) |
Food.kif 1279-1283 |
|
(=> (instance ?C Cappuccino) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?C)))) |
Food.kif 1269-1278 |
|
(=> (instance ?F FlatWhite) (and (material MilkFoam ?F) (material Espresso ?F))) |
Food.kif 1343-1347 |
|
(=> (instance ?F FlatWhite) (exists (?E ?M ?P) (and (instance ?E Espresso) (instance ?M MilkFoam) (instance ?P Pouring) (patient ?P ?M) (destination ?P ?E) (result ?P ?F)))) |
Food.kif 1349-1358 |
|
(=> (instance ?L Latte) (and (material MilkFoam ?L) (material Espresso ?L))) |
Food.kif 1393-1397 |
|
(=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L))) |
Food.kif 1423-1427 |
|
(=> (instance ?L LongBlack) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (attribute ?W HotTemperature) (destination ?P ?E) (instance ?E Espresso) (result ?P ?L)))) |
Food.kif 1429-1439 |
|
(=> (instance ?L Lungo) (exists (?E ?V) (and (instance ?E Espresso) (part ?E ?L) (measure ?E (MeasureFn ?V Liter)) (instance ?V RealNumber) (measure ?L (MeasureFn (MultiplicationFn ?V 2) Liter))))) |
Food.kif 770-781 |
|