Baking(baking) | bake, roast |
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 is a subclass of cooking |
(subclass Baking Heating) | Food.kif 1458-1458 | Baking is a subclass of 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 |