Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FlatWhite(flat white) |
| appearance as argument number 1 |
|
| (subclass FlatWhite Coffee) | Food.kif 1313-1313 | Flat white is a subclass of coffee |
| (documentation FlatWhite EnglishLanguage "A FlatWhite is a variation of Milkfoam and Espresso Mixture. It 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 thickness of milk foam on the top varies between 1 to 20 mm. The main difference betwen a flat white and a cappuccino is that the milkfoam in a flat white is wet foam and that the milkfoam is mixed with the crema of the espresso. [Wikipedia]") | Food.kif 1314-1319 | Flat white is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlatWhite "flat white") | Food.kif 1320-1320 |
| antecedent |
|
|
| (=> (instance ?F FlatWhite) (and (material MilkFoam ?F) (material Espresso ?F))) |
Food.kif 1322-1326 | If X is an instance of flat white, then X is made of milk foam and X is made of espresso |
| (=> (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 1328-1337 | If X is an instance of flat white, 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 |
| (=> (and (instance ?F FlatWhite) (part ?B ?F) (instance ?B Bubble)) (attribute ?B Brown)) |
Food.kif 1339-1344 | If X is an instance of flat white, Y is a part of X, and Y is an instance of bubble, then brown is an attribute of Y |
| (=> (and (instance ?C FlatWhite) (part ?E ?C) (part ?M ?C) (instance ?E Espresso) (instance ?M MilkFoam) (mixtureRatio ?E ?M ?V1 ?V2 Liter) (part ?B ?M) (part ?B ?E) (top ?B ?M) (instance ?B Bubble) (measure ?B (MeasureFn ?L Millimeter))) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15) (greaterThanOrEqualTo ?L 1.0) (lessThanOrEqualTo ?L 20.0))) |
Food.kif 1346-1364 | If All of the following hold: (1) X is an instance of flat white (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 a part of Y (9) the top of Z is U (10) U is an instance of bubble (11) 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, T is greater than or equal to 1.0, and T is less than or equal to 20.0 |
|