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 VegetableOil est une sous-classe de FoodFromPlant
No TPTP formula. May not be expressible in strict first order. Economy.kif 4557-4557 VegetableOil est une sous-classe de mixture
No TPTP formula. May not be expressible in strict first order. Economy.kif 4558-4558 VegetableOil est une sous-classe de OilFromPlant

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


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


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