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	子類植物油 and FoodFromPlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4557-4557	子類植物油 and Mixture
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4558-4558	子類植物油 and OilFromPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4582-4582	子類 AvocadoOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4570-4570	子類 CanolaOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Food.kif 2486-2486	子類可可脂 and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4579-4579	子類 CoconutOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4578-4578	子類 CottonSeedOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4568-4568	子類 GrapeSeedOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4575-4575	子類 GroundnutOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4562-4562	子類橄欖油 and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4561-4561	子類棕櫚油 and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4569-4569	子類 RapeseedOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4574-4574	子類 SafflowerOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4565-4565	子類 SoybeanOil and 植物油
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4571-4571	子類 SunFlowerOil and 植物油
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