|
|
   Lungo
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Lungo EnglishLanguage "An Lungo is the result of EspressoMaking. It is an expresso with twice as much as water.[Wikipedia]") | Food.kif 765-766 | |
| (subclass Lungo Coffee) | Food.kif 764-764 |
| appearance as argument number 2 |
|
|
| (names "café allongé" Lungo) | Food.kif 768-768 |
| antecedent |
|
|
| (=> (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 |
|
|
|