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

Formal Language: 



Term 1: Term 2:

(subclass HornInstrument MusicalInstrument) Music.kif 1215-1215 HornInstrument ist eine teilkategorie von MusicalInstrument
(subclass Bugle HornInstrument) Music.kif 1279-1279 Bugle ist eine teilkategorie von HornInstrument


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