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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CoffeeMaking

 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 CoffeeMaking è una sottoclasse di Cucinare
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 CoffeeMaking è una sottoclasse di LiquidMotion
(subclass CoffeeMaking Soaking) Food.kif 650-650 CoffeeMaking è una sottoclasse di Soaking

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


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

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


(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) Food.kif 723-723 Il numero 1 argomento optimalGrindSizeForMakingCoffee è una sottoclasse diCoffeeMaking

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 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