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

Formal Language: 



Term 1: Term 2:

(subclass EdibleNut FoodFromPlant) Economy.kif 4469-4469 EdibleNutFoodFromPlantsubclass では %n
(subclass EdibleNut FruitOrVegetable) Economy.kif 4470-4470 EdibleNut果物または野菜subclass では %n
(subclass AlmondNut EdibleNut) Food.kif 2085-2085 AlmondNutEdibleNutsubclass では %n
(subclass CashewNut EdibleNut) Food.kif 2419-2419 CashewNutEdibleNutsubclass では %n
(subclass Walnut EdibleNut) Economy.kif 4472-4472 WalnutEdibleNutsubclass では %n
(subclass PecanNut EdibleNut) Economy.kif 4474-4474 PecanNutEdibleNutsubclass では %n
(subclass PineNut EdibleNut) Economy.kif 4476-4476 PineNutEdibleNutsubclass では %n
(subclass MacademiaNut EdibleNut) Economy.kif 4482-4482 MacademiaNutEdibleNutsubclass では %n
(subclass SheaNut EdibleNut) Economy.kif 4484-4484 SheaNutEdibleNutsubclass では %n
(subclass PalmOilNut EdibleNut) Economy.kif 4518-4518 PalmOilNutEdibleNutsubclass では %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