| 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 |
|
|
| (documentation Music EnglishLanguage "Music refers to the conception of music - it's 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 13952-13956 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg") | pictureList.kif 6714-6714 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg") | pictureList.kif 7382-7382 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") | pictureList.kif 7383-7383 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png") | pictureList.kif 7384-7384 | |
| (subclass Music Proposition) | Mid-level-ontology.kif 13951-13951 | Music is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (range NationalAnthemFn Music) | Music.kif 955-955 | The range of national anthem is an instance of music |
| (subclass MusicalComposition Music) | Mid-level-ontology.kif 13965-13965 | Musical composition is a subclass of music |
| (subclass Song Music) | Mid-level-ontology.kif 13982-13982 | Song is a subclass of music |
| (termFormat ChineseLanguage Music "音乐") | chinese_format.kif 1225-1225 | Song is a subclass of music |
| (termFormat EnglishLanguage Music "music") | english_format.kif 1671-1671 | Song is a subclass of music |
| (termFormat FrenchLanguage Music "musique") | french_format.kif 903-903 | Song is a subclass of music |
| (termFormat Hindi Music "sangiita") | terms-hindi.txt 436-436 | Song is a subclass of music |
| (termFormat ItalianLanguage Music "Musica") | terms-it.txt 439-439 | Song is a subclass of music |
| (termFormat JapaneseLanguage Music "音楽") | japanese_format.kif 2587-2587 | Song is a subclass of music |
| (termFormat PortugueseLanguage Music "Musica") | portuguese_format.kif 855-855 | Song is a subclass of music |
| (termFormat cb Music "sonata") | terms-cb.txt 441-441 | Song is a subclass of music |
| (termFormat cz Music "music") | terms-cz.txt 475-475 | Song is a subclass of music |
| (termFormat ro Music "muzicã") | relations-ro.kif 924-924 | Song is a subclass of music |
| (termFormat tg Music "musika") | terms-tg.txt 440-440 | Song is a subclass of music |
| appearance as argument number 3 |
|
|
| (domain MusicalInterpretationFn 2 Music) | Music.kif 846-846 | The number 2 argument of musical interpretation is an instance of music |
| (domain anthem 1 Music) | Music.kif 356-356 | The number 1 argument of anthem is an instance of music |
| (domain musicInterpretation 2 Music) | Music.kif 178-178 | The number 2 argument of music interpretation is an instance of music |
| antecedent |
|
|
| (=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 13959-13963 |
|
|
|
|