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

Formal Language: 



Term 1: Term 2:

(subclass Music Proposition) Mid-level-ontology.kif 13732-13732 Music ist eine teilkategorie von Proposition
(subclass MusicalComposition Music) Mid-level-ontology.kif 13746-13746 MusicalComposition ist eine teilkategorie von Music
(subclass Song Music) Mid-level-ontology.kif 13763-13763 Song ist eine teilkategorie von Music


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