| 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 | Lungo is a subclass of coffee |
| appearance as argument number 2 |
|
|
| (names "café allongé" Lungo) | Food.kif 768-768 | 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 770-781 |
|
|
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