Lungo - Sigma Knowledge base Browser

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 は Coffee の subclass では %n

appearance as argument number 2

(names "café allongé" Lungo)

Food.kif 768-768

Lungo は "café allongé" の name を持って %n{ない}

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