|
|
   SunFlowerOil
|
|
|
| appearance as argument number 1 |
|
|
| (initialPart SunFlowerOil Sunflower) | Economy.kif 4572-4572 | Every sunflower oil is initially part of a sunflower |
| (subclass SunFlowerOil VegetableOil) | Economy.kif 4571-4571 | Sunflower oil is a subclass of vegetable oil |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SunFlowerOil "sunflower oil") | Economy.kif 4589-4589 |
|
|
|