Baking
|
|
appearance as argument number 1 |
(documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") | Food.kif 1459-1460 | |
(externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") | pictureList.kif 4524-4524 | |
(subclass Baking Cooking) | Food.kif 1457-1457 | Baking ist eine teilkategorie von Cooking |
(subclass Baking Heating) | Food.kif 1458-1458 | Baking ist eine teilkategorie von Heating |
appearance as argument number 2 |
(termFormat ChineseLanguage Baking "烘烤") | domainEnglishFormat.kif 9642-9642 | |
(termFormat ChineseTraditionalLanguage Baking "烘烤") | domainEnglishFormat.kif 9641-9641 | |
(termFormat EnglishLanguage Baking "baking") | domainEnglishFormat.kif 9640-9640 |
antecedent |
(=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Food.kif 1462-1467 |
|
consequent |
(=> (instance ?B BreadOrBiscuit) (exists (?D ?BAKE) (and (instance ?D Dough) (instance ?BAKE Baking) (resource ?BAKE ?D) (result ?BAKE ?B)))) |
Food.kif 1566-1573 |
|
(=> (instance ?BAKERY Bakery) (exists (?SERVICE ?FOOD ?BAKE) (and (instance ?BAKE Baking) (result ?BAKE ?FOOD) (instance ?FOOD (FoodForFn Human)) (agent ?BAKE ?BAKERY) (instance ?SERVICE CommercialService) (agent ?SERVICE ?BAKERY) (instance ?SERVICE Selling) (patient ?SERVICE ?FOOD)))) |
Dining.kif 70-81 |
|