Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Music
Music(music)
12-tone_music, 12-tone_system, Gilbert_and_Sullivan, Marseillaise, Mass, Requiem, The_Star-Spangled_Banner, acoustically, adagio, allegretto, allegro, andante, andantino, antiphon, antiphony, arioso, arpeggio, arrangement, atonal, atonalistic, augmentation, ballet, ballroom_music, bass, bass_part, basso_continuo, bebop, beguine, bolero, boogie, boogie-woogie, bop, canon, canto, cantus_firmus, carioca, chant, choral, chorale_prelude, chord, chordal, chromatic, coda, common_chord, concerted_music, conga, conjunct, continuo, contrapuntal, counterpoint...

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 12099-12103
s__externalImage(s__Music,'"http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg"')

pictureList.kif 6715-6715
s__externalImage(s__Music,'"http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg"')

pictureList.kif 7383-7383
s__externalImage(s__Music,'"http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg"')

pictureList.kif 7384-7384
s__externalImage(s__Music,'"http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png"')

pictureList.kif 7385-7385
s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Music,s__Proposition)

s__instance(s__Music,s__SetOrClass)

Mid-level-ontology.kif 12098-12098 Music is a subclass of proposition

appearance as argument number 2
-------------------------


s__range(s__NationalAnthemFn__m,s__Music)

Music.kif 949-949 The range of national anthem is an instance of music
s__subclass(s__MusicalComposition,s__Music)

s__instance(s__Music,s__SetOrClass)

s__instance(s__MusicalComposition,s__SetOrClass)

Mid-level-ontology.kif 12112-12112 Musical composition is a subclass of music
s__instance(s__Song,s__SetOrClass)

s__instance(s__Music,s__SetOrClass)

s__subclass(s__Song,s__Music)

Mid-level-ontology.kif 12129-12129 Song is a subclass of music
s__termFormat(s__ChineseLanguage,s__Music,'"音乐"')

chinese_format.kif 1225-1225
s__termFormat(s__EnglishLanguage,s__Music,'"music"')

english_format.kif 1676-1676

appearance as argument number 3
-------------------------


s__domain(s__MusicalInterpretationFn__m,n__2,s__Music)

Music.kif 842-842 The number 2 argument of musical interpretation is an instance of music
s__domain(s__anthem__m,n__1,s__Music)

Music.kif 353-353 The number 1 argument of anthem is an instance of music
s__domain(s__musicInterpretation__m,n__2,s__Music)

Music.kif 176-176 The number 2 argument of music interpretation is an instance of music

antecedent
-------------------------


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

Mid-level-ontology.kif 12106-12110


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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