| Cooking(料理)
| |
| appearance as argument number 1 |
|
|
| (documentation Cooking ChineseLanguage "这是 Making Food 的 instance。注：这包括任何 准备 Food 的过程，例如：做沙拉和切开水果等，它不一定涉及应用热能来处理食物。") | chinese_format.kif 3224-3225 | |
| (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 13016-13019 | |
| (externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") | pictureList.kif 4628-4628 | |
| (subclass Cooking Making) | Merge.kif 13015-13015 | 料理 は 作る の subclass では |
| appearance as argument number 2 |
|
|
| (subclass Baking Cooking) | Food.kif 1463-1463 | Baking は 料理 の subclass では |
| (subclass CoffeeMaking Cooking) | Food.kif 649-649 | CoffeeMaking は 料理 の subclass では |
| (subclass DryRoasting Cooking) | Food.kif 121-121 | DryRoasting は 料理 の subclass では |
| (subclass FoamingMilk Cooking) | Food.kif 1175-1175 | FoamingMilk は 料理 の subclass では |
| (subclass Frying Cooking) | Food.kif 2573-2573 | Frying は 料理 の subclass では |
| (subclass Hulling Cooking) | Food.kif 167-167 | Hulling は 料理 の subclass では |
| (termFormat ChineseLanguage Cooking "烹饪") | chinese_format.kif 1189-1189 | Hulling は 料理 の subclass では |
| (termFormat EnglishLanguage Cooking "cooking") | english_format.kif 1595-1595 | Hulling は 料理 の subclass では |
| (termFormat FrenchLanguage Cooking "cuisiner") | french_format.kif 867-867 | Hulling は 料理 の subclass では |
| (termFormat Hindi Cooking "paaka karma") | terms-hindi.txt 399-399 | Hulling は 料理 の subclass では |
| (termFormat ItalianLanguage Cooking "Cucinare") | terms-it.txt 402-402 | Hulling は 料理 の subclass では |
| (termFormat JapaneseLanguage Cooking "料理") | japanese_format.kif 2551-2551 | Hulling は 料理 の subclass では |
| (termFormat PortugueseLanguage Cooking "Cozinhar") | portuguese_format.kif 819-819 | Hulling は 料理 の subclass では |
| (termFormat cb Cooking "pagluto") | terms-cb.txt 404-404 | Hulling は 料理 の subclass では |
| (termFormat cz Cooking "cooking") | terms-cz.txt 438-438 | Hulling は 料理 の subclass では |
| (termFormat de Cooking "Kochen") | terms-de.txt 697-697 | Hulling は 料理 の subclass では |
| (termFormat ro Cooking "gãtit") | relations-ro.kif 888-888 | Hulling は 料理 の subclass では |
| (termFormat tg Cooking "nagluluto") | terms-tg.txt 403-403 | Hulling は 料理 の subclass では |
| antecedent |
|
|
| (=> (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 |
|
| (=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD)))) |
Merge.kif 13021-13026 |
| consequent |
|
|
| (=> (and (instance ?ORG Organization) (attribute ?ORG FoodManufacturing)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING ?MEM2 ?EV2) (and (instance ?EV Cooking) (instance ?EV Manufacture) (patient ?EV ?THING) (member ?MEM2 ?ORG) (instance ?EV2 Selling) (agent ?EV2 ?MEM2) (patient ?EV2 ?THING)))))) |
naics.kif 1361-1377 |
|
| (=> (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 3073-3086 |
|
| (=> (attribute ?FOOD CookedAttribute) (exists (?PROC1 ?PROC2) (and (instance ?PROC1 Cooking) (instance ?PROC2 Heating) (subProcess ?PROC2 ?PROC1) (result ?PROC1 ?FOOD)))) |
Food.kif 37-44 | |
| (=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 829-832 |
|
| (=> (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 5994-6003 | |
| (=> (instance ?K KitchenArea) (hasPurpose ?K (exists (?C) (and (instance ?C Cooking) (eventLocated ?C ?K))))) |
Mid-level-ontology.kif 16919-16925 | |
| (=> (instance ?O Oven) (hasPurpose ?O (exists (?C) (and (instance ?C Cooking) (instrument ?C ?O))))) |
Mid-level-ontology.kif 2785-2791 | |
| (=> (instance ?P Pasta) (exists (?D ?C) (and (instance ?D Dough) (instance ?C Cooking) (resource ?C ?D) (result ?C ?P)))) |
Food.kif 2755-2762 | |
| (=> (instance ?P PotOrPan) (hasPurpose ?P (exists (?C) (and (instance ?C Cooking) (instrument ?C ?P))))) |
Mid-level-ontology.kif 2816-2822 | |
| (=> (instance ?PLACE RestaurantBuilding) (capability Cooking eventLocated ?PLACE)) |
Mid-level-ontology.kif 8454-8456 |
|
| (=> (instance ?ROOM Kitchen) (hasPurpose ?ROOM (exists (?COOK) (and (instance ?COOK Cooking) (located ?COOK ?ROOM))))) |
Mid-level-ontology.kif 16931-16937 | |
| (=> (instance ?S Stove) (hasPurpose ?S (exists (?C) (and (instance ?C Cooking) (instrument ?C ?S))))) |
Mid-level-ontology.kif 2797-2803 | |
| (=> (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 |
|
|
|