FrenchPressingCoffee - Sigma Knowledge base Browser

appearance as argument number 1

(subclass FrenchPressingCoffee CoffeeMaking)	Food.kif 830-830	French press coffee is a subclass of coffee making
(documentation FrenchPressingCoffee EnglishLanguage "FrenchPressingCoffee uses a coffee plunger to brew coffee.Plunging slowly prevents accidental scalding of brewer and is purported to maximize the extraction of the oils and flavonoids from the ground bean. The earliest known device was patented in 1852 in France by Jacques_Victor Delforge and Henri_Otto Mayer.[Wikipedia]")	Food.kif 831-835	French press coffee is a subclass of coffee making
(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind)	Food.kif 837-837	Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process

appearance as argument number 2

antecedent

(=>
    (instance ?X FrenchPressingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?W ?X)
            (measure ?W
                (MeasureFn 90 CelsiusDegree)))))

If X is an instance of French press coffee, then there exists Y such that Y is an instance of potable water and X is a resource for Y and the measure of Y is 90 celsius degree(s)

consequent

(=>
    (instance ?X FrenchPressPot)
    (hasPurpose ?X
        (exists (?CM)
            (and
                (instance ?CM FrenchPressingCoffee)
                (instrument ?CM ?X)))))

If X is an instance of French press, then X has the purpose there exists Y such that Y is an instance of French press coffee and X is an instrument for Y