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

Formal Language: 



Term 1: Term 2:

(subclass MakingMusic RadiatingSound) Merge.kif 13718-13718 MakingMusic ist eine teilkategorie von RadiatingSound
(subclass MakingInstrumentalMusic MakingMusic) Merge.kif 13726-13726 MakingInstrumentalMusic ist eine teilkategorie von MakingMusic
(subclass MakingVocalMusic MakingMusic) Merge.kif 13743-13743 MakingVocalMusic ist eine teilkategorie von MakingMusic


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