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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FrenchPressingCoffee

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 è una sottoclasse di 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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