| 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)
|
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 |
|
|
|
|