TreeView Knowledge Base Browser

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)))))

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)