| Oven(oven)
| | Dutch_oven, broiler, gas_oven, oven, tandoor |
| appearance as argument number 1 |
|
|
| (documentation Oven EnglishLanguage "A HeatingDevice with a door for inserting and removing Food that is to undergo Baking.") | Mid-level-ontology.kif 2781-2782 | |
| (externalImage Oven "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Oven.agr.jpg") | pictureList.kif 144-144 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2780-2780 | Oven is a subclass of container |
| (subclass Oven HeatingDevice) | Mid-level-ontology.kif 2779-2779 | Oven is a subclass of heating device |
| (subclass Oven MajorAppliance) | Mid-level-ontology.kif 2738-2738 | Oven is a subclass of major appliance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Oven "烹饪烤箱") | domainEnglishFormat.kif 17181-17181 | |
| (termFormat ChineseTraditionalLanguage Oven "烹飪烤箱") | domainEnglishFormat.kif 17180-17180 | |
| (termFormat EnglishLanguage Oven "oven") | domainEnglishFormat.kif 17179-17179 |
| antecedent |
|
|
| (=> (instance ?O Oven) (hasPurpose ?O (exists (?C) (and (instance ?C Cooking) (instrument ?C ?O))))) |
Mid-level-ontology.kif 2784-2790 |
|
| consequent |
|
|
| (=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Food.kif 1468-1473 |
|
|
|
|