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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EspressoMaking

 Sigma KEE - EspressoMaking
EspressoMaking

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


(documentation EspressoMaking EnglishLanguage "An EspressoMaking is a ubclass of CoffeeMaking, a Coffee brewing method of which approximately 25-30 ml of DrinkingWater at abour 90 degree centigrate is forced under 900-1,000 kPa of pressure through finely ground (FineGrind) CoffeeGrind.[Wikipedia]") Food.kif 785-788
(optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) Food.kif 790-790 optimalGrindSizeForMakingCoffee EspressoMaking and FineGrind
(subclass EspressoMaking CoffeeMaking) Food.kif 783-783 EspressoMaking est une sous-classe de CoffeeMaking
(subclass EspressoMaking Heating) Food.kif 784-784 EspressoMaking est une sous-classe de r�chauffer

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


(termFormat EnglishLanguage EspressoMaking "espresso making") Food.kif 789-789

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


(=>
    (instance ?EM EspressoMaking)
    (exists (?C)
        (and
            (result ?EM ?C)
            (instance ?C Coffee))))		 Food.kif 792-797
(=>
    (instance ?EM EspressoMaking)
    (holdsDuring ?EM
        (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
            (and
                (instance ?H Heating)
                (patient ?H ?W)
                (measure ?W
                    (MeasureFn ?V Liter))
                (approximateValue ?V 0.03)
                (holdsDuring
                    (EndFn
                        (WhenFn ?H))
                    (and
                        (measure ?W
                            (MeasureFn ?T CelsiusDegree))
                        (approximateValue ?T 90)))
                (instance ?LM LiquidMotion)
                (patient ?LM ?W)
                (holdsDuring ?LM
                    (and
                        (measure ?W
                            (MeasureFn ?P
                                (KiloFn Pascal)))
                        (approximateValue ?P 900)))
                (destination ?LM ?COLL)
                (instance ?COLL Collection)
                (measure ?COLL
                    (MeasureFn ?K Gram))
                (approximateValue ?K 7.5)
                (member ?COLL ?CG)
                (instance ?CG CoffeeGrind)
                (attribute ?CG FineGrind)
                (located ?COLL ?F)
                (instance ?F Filter)
                (instance ?R Removing)
                (instrument ?R ?F)
                (patient ?R ?COLL)
                (temporallyBetween
                    (EndFn
                        (WhenFn ?H))
                    (EndFn
                        (WhenFn ?LM))
                    (EndFn
                        (WhenFn ?R)))))))		 Food.kif 799-834

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


(=>
    (instance ?E Espresso)
    (exists (?M)
        (and
            (instance ?M EspressoMaking)
            (result ?M ?E))))		 Food.kif 747-752


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