| 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 14662-14666 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg") | pictureList.kif 6713-6713 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg") | pictureList.kif 7381-7381 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") | pictureList.kif 7382-7382 | |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png") | pictureList.kif 7383-7383 | |
| (subclass Music Proposition) | Mid-level-ontology.kif 14661-14661 | 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 14675-14675 | Musical composition is a subclass of music |
| (subclass Song Music) | Mid-level-ontology.kif 14692-14692 | 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 de Music "Musik") | terms-de.txt 734-734 | 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 14669-14673 |
|
|
|
|