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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VegetableOil

 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 植物油 是 FoodFromPlant 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4557-4557 植物油 是 混合物 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4558-4558 植物油 是 OilFromPlant 的 subclass

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


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