Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Cappuccino(cappuccino) |  | cappuccino, cappuccino_coffee, coffee_cappuccino |
| appearance as argument number 1 |
|
|
| (documentation Cappuccino EnglishLanguage "FoamingMilk is the Process of making MilkFoam in which the ProcessedMilk is aerated then the Bubbles are then stirred to mix with the milk while it is being heated to 70C.[Wikipedia]") | Food.kif 1154-1156 | |
| (subclass Cappuccino Coffee) | Food.kif 1243-1243 | Cappuccino is a subclass of coffee |
| (documentation Cappuccino EnglishLanguage "Cappucinno is typically made with 1 shot of Espresso with 5 part of foamed milk, so a standard 30ml of espresso with 150ml of milk, giving a 180ml of capuucino.The milk foam on the top is 20mm in thickness. [Wikipedia]") | Food.kif 1244-1246 | Cappuccino is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Cappuccino "cappuccino") | domainEnglishFormat.kif 64593-64593 |
| antecedent |
|
|
| (=> (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 1248-1257 | If X is an instance of cappuccino, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of espresso (3) Z is an instance of milk foam (4) W is an instance of pouring (5) Z is a patient of W (6) W ends up at Y (7) X is a result of W |
| (=> (instance ?C Cappuccino) (and (material MilkFoam ?C) (material Espresso ?C))) |
Food.kif 1258-1262 | If X is an instance of cappuccino, then X is made of milk foam and X is made of espresso |
| (=> (and (instance ?C Cappuccino) (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.15) (approximateValue ?L 20.0))) |
Food.kif 1264-1280 | If All of the following hold: (1) X is an instance of cappuccino (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.15, and the approximate value of T is 20.0 |
|