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 est une sous-classe de cuisiner
(subclass CoffeeMaking LiquidMotion) Food.kif 651-651 CoffeeMaking est une sous-classe de LiquidMotion
(subclass CoffeeMaking Soaking) Food.kif 650-650 CoffeeMaking est une sous-classe de Soaking

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


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

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


(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) Food.kif 723-723 Le nombre 1 argument de optimalGrindSizeForMakingCoffee est une sous-classe de CoffeeMaking

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