|
|
   Oven
|
|
|
| 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 2274-2275 | |
| (externalImage Oven "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Oven.agr.jpg") | pictureList.kif 144-144 | |
| (subclass Oven Container) | Mid-level-ontology.kif 2273-2273 | |
| (subclass Oven HeatingDevice) | Mid-level-ontology.kif 2272-2272 | |
| (subclass Oven MajorAppliance) | Mid-level-ontology.kif 2231-2231 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Oven "烹饪烤箱") | domainEnglishFormat.kif 17157-17157 | |
| (termFormat ChineseTraditionalLanguage Oven "烹飪烤箱") | domainEnglishFormat.kif 17156-17156 | |
| (termFormat EnglishLanguage Oven "oven") | domainEnglishFormat.kif 17155-17155 |
| antecedent |
|
|
| (=> (instance ?O Oven) (hasPurpose ?O (exists (?C) (and (instance ?C Cooking) (instrument ?C ?O))))) |
Mid-level-ontology.kif 2277-2283 |
| consequent |
|
|
| (=> (instance ?B Baking) (exists (?O) (and (instance ?O Oven) (instrument ?B ?O)))) |
Mid-level-ontology.kif 20930-20935 |
|
|
|
