Cooking(cuisiner) |
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 12884-12887 | |
(externalImage Cooking "http://upload.wikimedia.org/wikipedia/commons/8/ 85/ Poffertjes.jpg") | pictureList.kif 4629-4629 | |
(subclass Cooking Making) | Merge.kif 12883-12883 | Cuisiner est une sous-classe de faire |
appearance as argument number 2 |
(subclass Baking Cooking) | Food.kif 1457-1457 | Baking est une sous-classe de cuisiner |
(subclass CoffeeMaking Cooking) | Food.kif 649-649 | CoffeeMaking est une sous-classe de cuisiner |
(subclass DryRoasting Cooking) | Food.kif 121-121 | DryRoasting est une sous-classe de cuisiner |
(subclass FoamingMilk Cooking) | Food.kif 1174-1174 | FoamingMilk est une sous-classe de cuisiner |
(subclass Frying Cooking) | Food.kif 2566-2566 | Frying est une sous-classe de cuisiner |
(subclass Hulling Cooking) | Food.kif 167-167 | Hulling est une sous-classe de cuisiner |
(termFormat ChineseLanguage Cooking "烹饪") | chinese_format.kif 1189-1189 | |
(termFormat EnglishLanguage Cooking "cooking") | english_format.kif 1595-1595 | |
(termFormat FrenchLanguage Cooking "cuisiner") | french_format.kif 867-867 | |
(termFormat Hindi Cooking "paaka karma") | terms-hindi.txt 399-399 | |
(termFormat ItalianLanguage Cooking "Cucinare") | terms-it.txt 402-402 | |
(termFormat JapaneseLanguage Cooking "料理") | japanese_format.kif 2551-2551 | |
(termFormat PortugueseLanguage Cooking "Cozinhar") | portuguese_format.kif 819-819 | |
(termFormat cb Cooking "pagluto") | terms-cb.txt 404-404 | |
(termFormat cz Cooking "cooking") | terms-cz.txt 438-438 | |
(termFormat ro Cooking "gãtit") | relations-ro.kif 888-888 | |
(termFormat tg Cooking "nagluluto") | terms-tg.txt 403-403 |
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 12889-12894 |
consequent |