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

Formal Language: 



Term 1: Term 2:

(subclass IronOre CompoundSubstance) Economy.kif 5621-5621 IronOre ist eine teilkategorie von CompoundSubstance
(subclass IronOre Mineral) Economy.kif 5624-5624 IronOre ist eine teilkategorie von Mineral


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