|
|
   AvocadoOil
|
|
|
| appearance as argument number 1 |
|
|
| (initialPart AvocadoOil Avocado) | Economy.kif 4583-4583 | Every avocado oil is initially part of a avocado |
| (subclass AvocadoOil VegetableOil) | Economy.kif 4582-4582 | Avocado oil is a subclass of vegetable oil |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AvocadoOil "avocado oil") | Economy.kif 4594-4594 |
|
|
|