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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoffeeMaking
CoffeeMaking

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


(documentation CoffeeMaking EnglishLanguage "CoffeeMaking is a Class of Coffee brewing methods,usually CoffeeGrind is steeped in hot water, then filtered out, producing the coffee to be served.[Wikipedia].") Food.kif 652-654
(subclass CoffeeMaking Cooking) Food.kif 649-649
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651
(subclass CoffeeMaking Soaking) Food.kif 650-650

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


(subclass AeropressingCoffee CoffeeMaking) Food.kif 901-901
(subclass ColdBrewingCoffee CoffeeMaking) Food.kif 836-836
(subclass DrippingCoffee CoffeeMaking) Food.kif 885-885
(subclass EspressoMaking CoffeeMaking) Food.kif 783-783
(subclass FrenchPressingCoffee CoffeeMaking) Food.kif 853-853
(subclass MokaPotCoffeeMaking CoffeeMaking) Food.kif 931-931
(subclass SiphoningCoffee CoffeeMaking) Food.kif 923-923
(subclass TurkishCoffeeMaking CoffeeMaking) Food.kif 955-955
(termFormat EnglishLanguage CoffeeMaking "coffee making") Food.kif 655-655

appearance as argument number 3
-------------------------


(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) Food.kif 723-723

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


(=>
    (instance ?CM CoffeeMaking)
    (exists (?C)
        (and
            (instance ?C Coffee)
            (result ?CM ?C))))		 Food.kif 657-662
(=>
    (instance ?CM CoffeeMaking)
    (exists (?LM ?W ?CG)
        (and
            (subProcess ?LM ?CM)
            (instance ?LM LiquidMotion)
            (patient ?LM ?W)
            (instance ?W DrinkingWater)
            (destination ?LM ?CG)
            (instance ?CG CoffeeGrind))))		 Food.kif 664-673
(=>
    (instance ?CM CoffeeMaking)
    (exists (?R ?LM ?CG ?W ?F ?C)
        (and
            (subProcess ?R ?CM)
            (instance ?R Removing)
            (origin ?R ?LM)
            (instance ?LM LiquidMixture)
            (part ?W ?LM)
            (instance ?W DrinkingWater)
            (part ?CG ?LM)
            (instance ?CG CoffeeGrind)
            (instrument ?R ?F)
            (instance ?F Filter)
            (result ?R ?C)
            (instance ?C Coffee))))		 Food.kif 686-701
(=>
    (instance ?CM CoffeeMaking)
    (exists (?S ?W ?CG)
        (and
            (subProcess ?S ?CM)
            (instance ?S Soaking)
            (resource ?S ?W)
            (instance ?W DrinkingWater)
            (patient ?S ?CG)
            (instance ?CG CoffeeGrind))))		 Food.kif 675-684
(=>
    (instance ?CM CoffeeMaking)
    (holdsDuring ?CM
        (exists (?LM ?S ?R)
            (and
                (instance ?LM LiquidMotion)
                (instance ?S Soaking)
                (instance ?R Removing)
                (before
                    (BeginFn
                        (WhenFn ?LM))
                    (BeginFn
                        (WhenFn ?S)))
                (before
                    (BeginFn
                        (WhenFn ?S))
                    (BeginFn
                        (WhenFn ?R)))))))		 Food.kif 703-716

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


(=>
    (instance ?C ElectricCoffeeMaker)
    (hasPurpose ?C
        (exists (?COFFEE ?M)
            (and
                (instance ?M CoffeeMaking)
                (instrument ?M ?C)
                (result ?M ?COFFEE)
                (instance ?COFFEE Coffee)))))		 Food.kif 379-387


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