![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Baking EnglishLanguage "Any instance of Cooking where the instrument is an Oven.") | Food.kif 1465-1466 | |
(externalImage Baking "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Geutelingen2.jpg") | pictureList.kif 4523-4523 | |
(subclass Baking Cooking) | Food.kif 1463-1463 | Baking is a subclass of cooking |
(subclass Baking Heating) | Food.kif 1464-1464 | Baking is a subclass of heating |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Baking "烘烤") | domainEnglishFormat.kif 9643-9643 | |
(termFormat ChineseTraditionalLanguage Baking "烘烤") | domainEnglishFormat.kif 9642-9642 | |
(termFormat EnglishLanguage Baking "baking") | domainEnglishFormat.kif 9641-9641 |
antecedent |
![]() |
(=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Food.kif 1468-1473 |
|
consequent |
![]() |
![]() |
![]() |