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

Formal Language: 



Term 1: Term 2:

(subclass ForestProduct Product) Economy.kif 5207-5207 ForestProduct ist eine teilkategorie von Product
(subclass WoodProduct ForestProduct) Economy.kif 5224-5224 WoodProduct ist eine teilkategorie von ForestProduct


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