Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 OilFromPlantOilsubclass では %n

appearance as argument number 2

(subclass TeaTreeOil OilFromPlant) Economy.kif 4545-4545 TeaTreeOilOilFromPlantsubclass では %n
(subclass VegetableOil OilFromPlant) Economy.kif 4558-4558 VegetableOilOilFromPlantsubclass では %n
(termFormat EnglishLanguage OilFromPlant "oil from plant") Economy.kif 4530-4530


        (equal ?O
            (OrganicObjectFn ?S))
        (subclass ?O OilFromPlant)
            (subclass ?S Seed)
            (subclass ?S Fruit)))
    (exists (?P)
            (subclass ?P FloweringPlant)
            (initialPart ?S ?P))))
Economy.kif 4532-4543

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners