OilFromPlant - Sigma Knowledge base Browser

appearance as argument number 1

(subclass OilFromPlant Oil)	Economy.kif 4859-4859	Oil from plant is a subclass of oil
(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 4860-4862	Oil from plant is a subclass of oil

appearance as argument number 2

(termFormat EnglishLanguage OilFromPlant "oil from plant")	Economy.kif 4863-4863
(subclass TeaTreeOil OilFromPlant)	Economy.kif 4878-4878	Tea tree oil is a subclass of oil from plant
(subclass VegetableOil OilFromPlant)	Economy.kif 4891-4891	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))))

If equal X and Object made from Y, X is a subclass of oil from plant, and Y is a subclass of seed or Y is a subclass of fruit, then there exists Z such that Z is a subclass of flowering plant and every Y is initially part of a Z