Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass VegetableOil FoodFromPlant) Economy.kif 4556-4556 VegetableOil は FoodFromPlant の subclass では %n
(subclass VegetableOil Mixture) Economy.kif 4557-4557 VegetableOil は 混合物 の subclass では %n
(subclass VegetableOil OilFromPlant) Economy.kif 4558-4558 VegetableOil は OilFromPlant の subclass では %n
(subclass CocoaButter VegetableOil) Food.kif 2486-2486 CocoaButter は VegetableOil の subclass では %n
(subclass PalmOil VegetableOil) Economy.kif 4561-4561 PalmOil は VegetableOil の subclass では %n
(subclass OliveOil VegetableOil) Economy.kif 4562-4562 OliveOil は VegetableOil の subclass では %n
(subclass SoybeanOil VegetableOil) Economy.kif 4565-4565 SoybeanOil は VegetableOil の subclass では %n
(subclass GrapeSeedOil VegetableOil) Economy.kif 4568-4568 GrapeSeedOil は VegetableOil の subclass では %n
(subclass RapeseedOil VegetableOil) Economy.kif 4569-4569 RapeseedOil は VegetableOil の subclass では %n
(subclass CanolaOil VegetableOil) Economy.kif 4570-4570 CanolaOil は VegetableOil の subclass では %n
(subclass SunFlowerOil VegetableOil) Economy.kif 4571-4571 SunFlowerOil は VegetableOil の subclass では %n
(subclass SafflowerOil VegetableOil) Economy.kif 4574-4574 SafflowerOil は VegetableOil の subclass では %n
(subclass GroundnutOil VegetableOil) Economy.kif 4575-4575 GroundnutOil は VegetableOil の subclass では %n
(subclass CottonSeedOil VegetableOil) Economy.kif 4578-4578 CottonSeedOil は VegetableOil の subclass では %n
(subclass CoconutOil VegetableOil) Economy.kif 4579-4579 CoconutOil は VegetableOil の subclass では %n
(subclass AvocadoOil VegetableOil) Economy.kif 4582-4582 AvocadoOil は VegetableOil の subclass では %n


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