| appearance as argument number 1 |
|
| (documentation Americano EnglishLanguage "An Americano is is a type of coffee drink prepared by diluting an espresso with hot water (typically 1:5). [Wikipedia] ") | Food.kif 1304-1305 | |
| (subclass Americano Coffee) | Food.kif 1303-1303 | Americano 是 咖啡 的 subclass |
| appearance as argument number 2 |
|
|
| (ingredient DrinkingWater Americano) | Food.kif 1308-1308 | 饮用水 是在 Americano 的 ingredient |
| (ingredient Espresso Americano) | Food.kif 1307-1307 | Espresso 是在 Americano 的 ingredient |
| (termFormat EnglishLanguage Americano "americano") | Food.kif 1306-1306 |
| antecedent |
|
|
| (=> (and (instance ?A Americano) (part ?E ?A) (part ?W ?A) (instance ?E Espresso) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90.0 CelsiusDegree)) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15))) |
Food.kif 1321-1332 | |
| (=> (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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners