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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OilFromPlant
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

appearance as argument number 2
-------------------------


(subclass TeaTreeOil OilFromPlant) Economy.kif 4545-4545
(subclass VegetableOil OilFromPlant) Economy.kif 4558-4558
(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


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