Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| CoffeeMaking(coffee making) |
| appearance as argument number 1 |
|
| (subclass CoffeeMaking Cooking) | Food.kif 625-625 | Coffee making is a subclass of cooking |
| (subclass CoffeeMaking Soaking) | Food.kif 626-626 | Coffee making is a subclass of soaking |
| (subclass CoffeeMaking LiquidMotion) | Food.kif 627-627 | Coffee making is a subclass of liquid motion |
| (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 628-630 | Coffee making is a subclass of liquid motion |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) | Food.kif 699-699 | The number 1 argument of optimal grind size for making coffee is a subclass of coffee making |
| antecedent |
|
|
| (=> (instance ?CM CoffeeMaking) (exists (?C) (and (instance ?C Coffee) (result ?CM ?C)))) |
Food.kif 633-638 | If X is an instance of coffee making, then there exists Y such that Y is an instance of coffee and Y is a result of X |
| (=> (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 640-649 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of liquid motion (4) Z is a patient of Y (5) Z is an instance of potable water (6) Y ends up at W (7) W is an instance of coffee grind |
| (=> (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 651-660 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a subprocess of X (3) Y is an instance of soaking (4) Z is a resource for Y (5) Z is an instance of potable water (6) W is a patient of Y (7) W is an instance of coffee grind |
| (=> (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 662-677 | If X is an instance of coffee making, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is a subprocess of X (3) Y is an instance of removing (4) Y originates at Z (5) Z is an instance of liquid mixture (6) V is a part of Z (7) V is an instance of potable water (8) W is a part of Z (9) W is an instance of coffee grind (10) U is an instrument for Y (11) U is an instance of filter (12) T is a result of Y (13) T is an instance of coffee |
| (=> (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 679-692 | If X is an instance of coffee making, then there exist Y, Z, W such that Y is an instance of liquid motion, Z is an instance of soaking, W is an instance of removing, the beginning of the time of existence of Y happens before the beginning of the time of existence of Z, and the beginning of the time of existence of Z happens before the beginning of the time of existence of W holds during X |
| consequent |
|
|
| (=> (instance ?C ElectricCoffeeMaker) (hasPurpose ?C (exists (?COFFEE ?M) (and (instance ?M CoffeeMaking) (instrument ?M ?C) (result ?M ?COFFEE) (instance ?COFFEE Coffee))))) |
Food.kif 361-369 | If X is an instance of coffee maker, then X has the purpose there exist Y, Z such that Z is an instance of coffee making, X is an instrument for Z, Y is a result of Z, and Y is an instance of coffee |
|