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 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__Proposition,s__SetOrClass)

s__subclass(s__Music,s__Proposition)

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__subclass(s__MusicalComposition,s__Music)

s__instance(s__Music,s__SetOrClass)

s__instance(s__MusicalComposition,s__SetOrClass)

Mid-level-ontology.kif 11346-11346 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 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')

english_format.kif 1756-1756 "music" is the printable form of music in english language
s__termFormat(s__JapaneseLanguage,s__Music,'音楽')

english_format.kif 1757-1757 "音楽" is the printable form of music in japanese language

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__MUSIC,V__MC] :
   (s__instance(V__MUSIC,s__Process)s__=>((s__instance(V__MC,s__Music)s__and__ms__realization(V__MUSIC,V__MC))
    s__=>s__instance(V__MUSIC,s__MakingMusic)))
)

Mid-level-ontology.kif 11340-11344


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners