TreeView Knowledge Base Browser - OilFromPlant

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

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4527-4529
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4526-4526	Oil from plant is a subclass of oil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4545-4545	Tea tree oil is a subclass of oil from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	Vegetable oil is a subclass of oil from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4530-4530

antecedent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 4532-4543

If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of oil from plant and another kind of object is a subclass of seed or the other kind of object is a subclass of fruit,
then there exists a third kind of object such that a third kind of object is a subclass of flowering plant and every the other kind of object is initially part of a the third kind of object

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

Show without tree

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