OilFromPlant
|
|
appearance as argument number 1 |
(documentation OilFromPlant EnglishLanguage "OilFromPlant are oils extracted from seeds or from other parts of fruits. It is worth to note that not all OilFromPlant are edible, unlike VegetableOil.") | Economy.kif 4527-4529 | |
(subclass OilFromPlant Oil) | Economy.kif 4526-4526 | OilFromPlant ist eine teilkategorie von Oil |
appearance as argument number 2 |
(subclass TeaTreeOil OilFromPlant) | Economy.kif 4545-4545 | TeaTreeOil ist eine teilkategorie von OilFromPlant |
(subclass VegetableOil OilFromPlant) | Economy.kif 4558-4558 | VegetableOil ist eine teilkategorie von OilFromPlant |
(termFormat EnglishLanguage OilFromPlant "oil from plant") | Economy.kif 4530-4530 |
antecedent |
(=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P)))) |
Economy.kif 4532-4543 |
|