| 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 2312-2313 | |
| (externalImage Oven "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Oven.agr.jpg") | pictureList.kif 144-144 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2311-2311 | Oven is a subclass of container |
| (subclass Oven HeatingDevice) | Mid-level-ontology.kif 2310-2310 | Oven is a subclass of heating device |
| (subclass Oven MajorAppliance) | Mid-level-ontology.kif 2269-2269 | Oven is a subclass of major appliance |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Oven "烹饪烤箱") | domainEnglishFormat.kif 17182-17182 | |
| (termFormat ChineseTraditionalLanguage Oven "烹飪烤箱") | domainEnglishFormat.kif 17181-17181 | |
| (termFormat EnglishLanguage Oven "oven") | domainEnglishFormat.kif 17180-17180 |
| antecedent |
|
|
| (=> (instance ?O Oven) (hasPurpose ?O (exists (?C) (and (instance ?C Cooking) (instrument ?C ?O))))) |
Mid-level-ontology.kif 2315-2321 |
|
| consequent |
|
|
| (=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Food.kif 1462-1467 |
|
|
|
|