|
|
   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 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 は Container の subclass では %n |
| (subclass Oven HeatingDevice) | Mid-level-ontology.kif 2310-2310 | Oven は HeatingDevice の subclass では %n |
| (subclass Oven MajorAppliance) | Mid-level-ontology.kif 2269-2269 | Oven は MajorAppliance の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Oven "烹饪烤箱") | domainEnglishFormat.kif 17166-17166 | |
| (termFormat ChineseTraditionalLanguage Oven "烹飪烤箱") | domainEnglishFormat.kif 17165-17165 | |
| (termFormat EnglishLanguage Oven "oven") | domainEnglishFormat.kif 17164-17164 |
| 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 |
|
|
|
