Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FrenchPressingCoffee
FrenchPressingCoffee(French press coffee)

appearance as argument number 1
-------------------------


(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) Food.kif 860-860 Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process
(subclass FrenchPressingCoffee CoffeeMaking) Food.kif 853-853 French press coffee is a subclass of coffee making

appearance as argument number 2
-------------------------


(documentation EnglishLanguage FrenchPressingCoffee "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 854-858
(termFormat EnglishLanguage FrenchPressingCoffee "French press coffee") Food.kif 859-859

antecedent
-------------------------


(=>
    (instance ?X FrenchPressingCoffee)
    (exists (?W)
        (and
            (instance ?W DrinkingWater)
            (resource ?W ?X)
            (measure ?W
                (MeasureFn 90 CelsiusDegree)))))
Food.kif 862-869

consequent
-------------------------


(=>
    (instance ?X FrenchPressPot)
    (hasPurpose ?X
        (exists (?CM)
            (and
                (instance ?CM FrenchPressingCoffee)
                (instrument ?CM ?X)))))
Food.kif 877-883


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