VegetableOil - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VegetableOil

VegetableOil

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4559-4559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9793-9793
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9792-9792
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4556-4556	VegetableOil e' uma sub-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4557-4557	VegetableOil e' uma sub-classe de Mistura
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	VegetableOil e' uma sub-classe de OilFromPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4582-4582	AvocadoOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4570-4570	CanolaOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Food.kif 2486-2486	CocoaButter e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4579-4579	CoconutOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4578-4578	CottonSeedOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4568-4568	GrapeSeedOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4575-4575	GroundnutOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4562-4562	OliveOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4561-4561	PalmOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4569-4569	RapeseedOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4574-4574	SafflowerOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4565-4565	SoybeanOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4571-4571	SunFlowerOil e' uma sub-classe de VegetableOil
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61322-61322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61321-61321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61320-61320

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