Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Lungo(lungo) |
| appearance as argument number 1 |
|
| (subclass Lungo Coffee) | Food.kif 741-741 | Lungo is a subclass of coffee |
| (documentation Lungo EnglishLanguage "An Lungo is the result of EspressoMaking. It is an expresso with twice as much as water.[Wikipedia]") | Food.kif 742-743 | Lungo is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lungo "lungo") | Food.kif 744-744 | |
| (names "café allongé" Lungo) | Food.kif 745-745 | Lungo has name "café allongé" |
| 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 747-758 | If X is an instance of lungo, then there exist Y and Z such that Y is an instance of espresso and Y is a part of X and the measure of Y is Z liter(s) and Z is an instance of real number and the measure of X is Z and 2 liter(s) |
|