OilFromPlant - Sigma Knowledge base Browser

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 4642-4644
(subclass OilFromPlant Oil)	Economy.kif 4641-4641	Oil from plant is a subclass of oil

appearance as argument number 2

(subclass TeaTreeOil OilFromPlant)	Economy.kif 4660-4660	Tea tree oil is a subclass of oil from plant
(subclass VegetableOil OilFromPlant)	Economy.kif 4673-4673	Vegetable oil is a subclass of oil from plant
(termFormat EnglishLanguage OilFromPlant "oil from plant")	Economy.kif 4645-4645	Vegetable oil is a subclass of oil from plant

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 4647-4658