Music - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Music,s__EnglishLanguage,'Music refers to the conception of music - its notes, tempo, arrangement, lyrics, etc. as thought by its composers and lyricist. Some types of Music are conceptualized with only the background instrumentation thought of, while some types of Music are conceptualized with the thought of having both lyrics and musical composition combined.')	Mid-level-ontology.kif 11333-11337
s__externalImage(s__Music,'http://upload.wikimedia.org/wikipedia/commons/9/95/Naxi_Musicians_I.jpg')	pictureList.kif 6715-6715	"http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg" is a URL depicting music
s__externalImage(s__Music,'http://upload.wikimedia.org/wikipedia/commons/e/eb/Music_on_top_of_Opera_Garnier_p1150815.jpg')	pictureList.kif 7384-7384	"http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg" is a URL depicting music
s__externalImage(s__Music,'http://upload.wikimedia.org/wikipedia/commons/f/f4/Mozarteum_grosser_saal_buehne_mit_orchester.jpg')	pictureList.kif 7385-7385	"http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg" is a URL depicting music
s__externalImage(s__Music,'http://upload.wikimedia.org/wikipedia/commons/f/f8/Claves.png')	pictureList.kif 7386-7386	"http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png" is a URL depicting music
s__instance(s__Music,s__SetOrClass)	Mid-level-ontology.kif 11332-11332	Music is a subclass of proposition

appearance as argument number 2

s__range(s__NationalAnthemFn__m,s__Music)	Music.kif 955-955	The range of national anthem is an instance of music
s__instance(s__Music,s__SetOrClass)	Mid-level-ontology.kif 11346-11346	Musical composition is a subclass of music
s__subclass(s__Song,s__Music)	Mid-level-ontology.kif 11363-11363	Song is a subclass of music
s__termFormat(s__ChineseLanguage,s__Music,'音乐')	chinese_format.kif 1225-1225	"音乐" is the printable form of music in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Music,'music')	Mid-level-ontology.kif 11338-11338	"music" is the printable form of music in english language
s__termFormat(s__FrenchLanguage,s__Music,'musique')	french_format.kif 903-903	"musique" is the printable form of music in french language
s__termFormat(s__Hindi,s__Music,'sangiita')	terms-hindi.txt 436-436	"sangiita" is the printable form of music in Hindi
s__termFormat(s__ItalianLanguage,s__Music,'Musica')	terms-it.txt 437-437	"Musica" is the printable form of music in italian language
s__termFormat(s__PortugueseLanguage,s__Music,'Musica')	portuguese_format.kif 855-855	"Musica" is the printable form of music in portuguese language
s__termFormat(s__cb__m,s__Music,'sonata')	terms-cb.txt 441-441	"sonata" is the printable form of music in cb
s__termFormat(s__cz__m,s__Music,'music')	terms-cz.txt 475-475	"music" is the printable form of music in cz
s__termFormat(s__tg__m,s__Music,'musika')	terms-tg.txt 440-440	"musika" is the printable form of music in tg

appearance as argument number 3

s__domain(s__MusicalInterpretationFn__m,2,s__Music)	Music.kif 848-848	The number 2 argument of musical interpretation is an instance of music
s__domain(s__anthem__m,1,s__Music)	Music.kif 359-359	The number 1 argument of anthem is an instance of music
s__domain(s__musicInterpretation__m,2,s__Music)	Music.kif 176-176	The number 2 argument of music interpretation is an instance of music

antecedent

( ! [V__MC,V__MUSIC] :
   ((s__instance(V__MC,s__Music) &
       s__realization(V__MUSIC,V__MC))
   =>
   s__instance(V__MUSIC,s__MakingMusic))
)

Mid-level-ontology.kif 11340-11344