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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OilFromPlant
OilFromPlant(oil from plant)

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 Oil from plant is a subclass of oil

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


(subclass TeaTreeOil OilFromPlant) Economy.kif 4545-4545 Tea tree oil is a subclass of oil from plant
(subclass VegetableOil OilFromPlant) Economy.kif 4558-4558 Vegetable oil is a subclass of oil from plant
(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