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 ist eine teilkategorie von Cooking |
(subclass CoffeeMaking LiquidMotion) | Food.kif 651-651 | CoffeeMaking ist eine teilkategorie von LiquidMotion |
(subclass CoffeeMaking Soaking) | Food.kif 650-650 | CoffeeMaking ist eine teilkategorie von Soaking |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) | Food.kif 723-723 | Die Zahl 1 Argument von optimalGrindSizeForMakingCoffee ist eine teilkategorie von CoffeeMaking %n{nicht} |
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 |
|