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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VegetableOil

 Sigma KEE - VegetableOil
VegetableOil(vegetable oil)
canola, canola_oil, coconut_oil, copra_oil, corn_oil, cottonseed_oil, groundnut_oil, peanut_oil, safflower_oil, salad_oil, sesame_oil, soyabean_oil, soybean_oil, sunflower-seed_oil, sunflower_oil, sweet_oil, walnut_oil

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 Vegetable oil is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4557-4557 Vegetable oil is a subclass of mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 4558-4558 Vegetable oil is a subclass of oil from plant

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4582-4582 Avocado oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4570-4570 Canola oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Food.kif 2486-2486 Cocoa butter is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4579-4579 Coconut oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4578-4578 Cotton seed oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4568-4568 Grape seed oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4575-4575 Ground nut oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4562-4562 Olive oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4561-4561 Palm oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4569-4569 Rape seed oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4574-4574 Safflower oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4565-4565 Soy bean oil is a subclass of vegetable oil
No TPTP formula. May not be expressible in strict first order. Economy.kif 4571-4571 Sunflower oil is a subclass of vegetable oil
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 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