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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FrenchPressingCoffee
FrenchPressingCoffee

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


(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) Food.kif 860-860 optimalGrindSizeForMakingCoffee FrenchPressingCoffee and CoarseGrind
(subclass FrenchPressingCoffee CoffeeMaking) Food.kif 853-853 FrenchPressingCoffee ist eine teilkategorie von CoffeeMaking

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