Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Cooking(cooking)
|  | acerbate, baking, barbecue, barbecued, barbecuing, barbeque, baste, basting, beat, blacken, blanch, boil, boil_down, boiled, boiling, braise, braising, broil, broiling, browning, can, caramelise, caramelize, char, clabber, clot, coddle, concentrate, concoct, conserve, cook, cook_out, cook_up, cookery, cooking, corn, cream, culinary, curdle, decoct, deglaze, dehydrate, desiccate, devil, draw, dress, dress_out, dun, farce, fix... |
| appearance as argument number 1 |
|
|
| (subclass Cooking Making) | Merge.kif 13151-13151 | Cooking is a subclass of making |
| (documentation Cooking EnglishLanguage "The Making of an instance of Food. Note that this can cover any preparation of Food, e.g. making a salad, cutting up fruit, etc. It does not necessarily involve the application of heat.") | Merge.kif 13152-13155 | Cooking is a subclass of making |
| (externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") | pictureList.kif 4628-4628 | Cooking is a subclass of making |
| appearance as argument number 2 |
|
|
| (subclass DryRoasting Cooking) | Food.kif 121-121 | Dry roasting is a subclass of cooking |
| (subclass Hulling Cooking) | Food.kif 167-167 | Hulling is a subclass of cooking |
| (subclass CoffeeMaking Cooking) | Food.kif 625-625 | Coffee making is a subclass of cooking |
| (subclass FoamingMilk Cooking) | Food.kif 1152-1152 | Foaming milk is a subclass of cooking |
| (subclass Baking Cooking) | Food.kif 1441-1441 | Baking is a subclass of cooking |
| (subclass Frying Cooking) | Food.kif 2590-2590 | Frying is a subclass of cooking |
| (termFormat EnglishLanguage Cooking "cooking") | english_format.kif 1599-1599 | Frying is a subclass of cooking |
| antecedent |
|
|
| (=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD)))) |
Merge.kif 13157-13162 | If X is an instance of cooking, then there exists Y such that Y is an instance of food for human and Y is a result of X |
| (=> (and (instance ?C CateringService) (agent ?C ?AGENT) (destination ?C ?CUST) (located ?AGENT ?LOC1) (customer ?CUST ?AGENT) (exists (?S ?FOOD ?E) (and (instance ?S Cooking) (agent ?S ?AGENT) (result ?S ?FOOD) (patient ?C ?FOOD) (instance ?E Eating) (agent ?E ?CUST) (eventLocated ?E ?LOC2)))) (not (equal ?LOC1 ?LOC2))) |
Dining.kif 586-602 | If All of the following hold: (1) X is an instance of catering (2) Y is an agent of X (3) X ends up at Z (4) Y is located at W (5) Y is a customer of Z (6) All of the following hold: (1) there exist V, U (2) T such that V is an instance of cooking (3) Y is an agent of V (4) U is a result of V (5) U is a patient of X (6) T is an instance of eating (7) Z is an agent of T (8) T is located at S, then equal W and S |
| consequent |
|
|
| (=> (instance ?O Oven) (hasPurpose ?O (exists (?C) (and (instance ?C Cooking) (instrument ?C ?O))))) |
Mid-level-ontology.kif 2921-2927 | If X is an instance of oven, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?S Stove) (hasPurpose ?S (exists (?C) (and (instance ?C Cooking) (instrument ?C ?S))))) |
Mid-level-ontology.kif 2933-2939 | If X is an instance of stove, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?P PotOrPan) (hasPurpose ?P (exists (?C) (and (instance ?C Cooking) (instrument ?C ?P))))) |
Mid-level-ontology.kif 2952-2958 | If X is an instance of pot or pan, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?A Apron) (hasPurpose ?A (exists (?P ?C) (and (instance ?C Cooking) (agent ?C ?P) (holdsDuring (WhenFn ?C) (wears ?P ?A)))))) |
Mid-level-ontology.kif 6152-6161 | If X is an instance of apron, then X has the purpose there exist Y, Z such that Z is an instance of cooking, Y is an agent of Z, and Y wears X holds during the time of existence of Z |
| (=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE)) |
Mid-level-ontology.kif 8590-8592 | If X is an instance of restaurant building, then X is capable of doing cooking as a event located |
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 17145-17151 | If X is an instance of kitchen area, then X has the purpose there exists Y such that Y is an instance of cooking and Y is located at X |
| (=> (instance ?ROOM Kitchen) (hasPurpose ?ROOM (exists (?COOK) (and (instance ?COOK Cooking) (located ?COOK ?ROOM))))) |
Mid-level-ontology.kif 17157-17163 | If X is an instance of kitchen, then X has the purpose there exists Y such that Y is an instance of cooking and Y is located at X |
| (=> (instance ?STEAKHOUSE Steakhouse) (exists (?SERVICE ?STEAK ?BEEF ?COOK) (and (instance ?COOK Cooking) (instance ?BEEF Beef) (resource ?COOK ?BEEF) (result ?COOK ?STEAK) (instance ?SERVICE CommercialService) (agent ?SERVICE ?STEAKHOUSE) (instance ?SERVICE Selling) (patient ?SERVICE ?STEAK)))) |
Dining.kif 88-99 | If X is an instance of steakhouse, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that V is an instance of cooking (3) W is an instance of beef (4) W is a resource for V (5) Z is a result of V (6) Y is an instance of commercial service (7) X is an agent of Y (8) Y is an instance of selling (9) Z is a patient of Y |
| (=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 829-832 | If chef is an attribute of X, then the occupation of cooking is an occupation of X |
| (=> (attribute ?FOOD CookedAttribute) (exists (?PROC1 ?PROC2) (and (instance ?PROC1 Cooking) (instance ?PROC2 Heating) (subProcess ?PROC2 ?PROC1) (result ?PROC1 ?FOOD)))) |
Food.kif 37-44 | If cooked is an attribute of X, then there exist Y, Z such that Y is an instance of cooking, Z is an instance of heating, Z is a subprocess of Y, and X is a result of Y |
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2776-2783 | If X is an instance of pasta, then there exist Y, Z such that Y is an instance of dough, Z is an instance of cooking, Y is a resource for Z, and X is a result of Z |
| (=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR FoodRating) (instance ?ENTITY AutonomousAgent)) (exists (?FOOD ?COOK ?CLASSIFY) (and (instance ?COOK Cooking) (agent ?COOK ?ENTITY) (result ?COOK ?FOOD) (instance ?CLASSIFY Classifying) (agent ?CLASSIFY ?AGENT) (destination ?CLASSIFY ?FOOD) (patient ?CLASSIFY ?ATTR)))) |
Hotel.kif 3080-3093 | If X believes Y is Z, Z is an instance of food rating, and Y is an instance of agent, then All of the following hold: (1) there exist W, V (2) U such that V is an instance of cooking (3) Y is an agent of V (4) W is a result of V (5) U is an instance of classifying (6) X is an agent of U (7) U ends up at W (8) Z is a patient of U |
| (=> (instance ?DEVICE FoodProcessingAppliance) (hasPurpose ?DEVICE (exists (?COOKING) (and (instance ?COOKING Cooking) (instrument ?COOKING ?DEVICE))))) |
HouseholdAppliances.kif 729-735 | If X is an instance of food processing appliance, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?DEVICE Breadmaker) (hasPurpose ?DEVICE (exists (?BREAD ?MAKE) (and (instance ?BREAD BreadOrBiscuit) (instance ?MAKE Cooking) (result ?MAKE ?BREAD) (instrument ?MAKE ?DEVICE))))) |
HouseholdAppliances.kif 825-833 | If X is an instance of bread maker, then X has the purpose there exist Y, Z such that Y is an instance of bread or biscuit, Z is an instance of cooking, Y is a result of Z, and X is an instrument for Z |
| (=> (instance ?DEVICE CoffeeMaker) (hasPurpose ?DEVICE (exists (?FOOD ?MAKE) (and (instance ?FOOD Beverage) (instance ?MAKE Cooking) (result ?MAKE ?FOOD) (instrument ?MAKE ?DEVICE))))) |
HouseholdAppliances.kif 843-851 | If X is an instance of coffeemaker, then X has the purpose there exist Y, Z such that Y is an instance of beverage, Z is an instance of cooking, Y is a result of Z, and X is an instrument for Z |
| (=> (instance ?DEVICE FoodBlender) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (instance ?RES Mixture) (instance ?RES Beverage) (located ?COOKING ?DEVICE) (result ?COOKING ?RES))))) |
HouseholdAppliances.kif 860-869 | If X is an instance of food blender, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of beverage, Y is located at X, and Z is a result of Y |
| (=> (instance ?DEVICE FoodMixer) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (instance ?RES Mixture) (instance ?RES PreparedFood) (result ?COOKING ?RES))))) |
HouseholdAppliances.kif 878-886 | If X is an instance of food mixer, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of mixture, Z is an instance of food, and Z is a result of Y |
| (=> (instance ?DEVICE FoodProcessor) (hasPurpose ?DEVICE (exists (?COOKING ?RES) (and (instance ?COOKING Cooking) (result ?COOKING ?RES) (instance ?RES PreparedFood))))) |
HouseholdAppliances.kif 894-901 | If X is an instance of food processor, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is a result of Y, and Z is an instance of food |
| (=> (instance ?CLASS CookingClass) (exists (?PROC) (and (instance ?PROC Cooking) (subProcess ?PROC ?CLASS)))) |
Offers.kif 244-249 | If X is an instance of CookingClass, then there exists Y such that Y is an instance of cooking and Y is a subprocess of X |
| (=> (instance ?CLASS BreadMakingClass) (exists (?PROC) (and (instance ?PROC Cooking) (result ?PROC BreadOrBiscuit) (subProcess ?PROC ?CLASS)))) |
Offers.kif 267-273 | If X is an instance of BreadMakingClass, then there exists Y such that Y is an instance of cooking, bread or biscuit is a result of Y, and Y is a subprocess of X |
| (=> (instance ?CLASS (LessonOnCookingFoodFn ?FOOD)) (exists (?PROC) (and (instance ?PROC Cooking) (result ?PROC ?FOOD) (subProcess ?PROC ?CLASS)))) |
Offers.kif 296-302 | If X is an instance of LessonOnCookingFoodFn Y, then there exists Z such that Z is an instance of cooking, Y is a result of Z, and Z is a subprocess of X |
| (=> (instance ?G Grill) (hasPurpose ?G (exists (?C) (and (instance ?C Cooking) (instrument ?C ?G))))) |
Society.kif 656-662 | If X is an instance of grill, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?PC PressureCooker) (hasPurpose ?PC (exists (?COOKING) (and (instance ?COOKING Cooking) (instrument ?COOKING ?PC))))) |
Society.kif 805-811 | If X is an instance of pressure cooker, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?R RotisserieAppliance) (hasPurpose ?R (exists (?COOKING) (and (instance ?COOKING Cooking) (instrument ?COOKING ?R))))) |
Society.kif 825-831 | If X is an instance of RotisserieAppliance, then X has the purpose there exists Y such that Y is an instance of cooking and X is an instrument for Y |
| (=> (instance ?SM SandwichMaker) (hasPurpose ?SM (exists (?COOKING ?SANDW) (and (instance ?COOKING Cooking) (instance ?SANDW Sandwich) (instrument ?COOKING ?SM) (result ?COOKING ?SANDW))))) |
Society.kif 838-846 | If X is an instance of SandwichMaker, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of sandwich, X is an instrument for Y, and Z is a result of Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|