| 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 |
|
|
| (subclass Music Proposition) | Mid-level-ontology.kif 15232-15232 | Music is a subclass of proposition |
| (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 15233-15237 | Music is a subclass of proposition |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg") | pictureList.kif 6713-6713 | Music is a subclass of proposition |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg") | pictureList.kif 7381-7381 | Music is a subclass of proposition |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") | pictureList.kif 7382-7382 | Music is a subclass of proposition |
| (externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png") | pictureList.kif 7383-7383 | Music is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (subclass MusicalComposition Music) | Mid-level-ontology.kif 15246-15246 | Musical composition is a subclass of music |
| (subclass Song Music) | Mid-level-ontology.kif 15263-15263 | Song is a subclass of music |
| (range NationalAnthemFn Music) | Music.kif 957-957 | The range of national anthem is an instance of music |
| (termFormat EnglishLanguage Music "music") | english_format.kif 1671-1671 | The range of national anthem is an instance of music |
| appearance as argument number 3 |
|
|
| (domain musicInterpretation 2 Music) | Music.kif 178-178 | The number 2 argument of music interpretation is an instance of music |
| (domain anthem 1 Music) | Music.kif 358-358 | The number 1 argument of anthem is an instance of music |
| (domain MusicalInterpretationFn 2 Music) | Music.kif 848-848 | The number 2 argument of musical interpretation is an instance of music |
| antecedent |
|
|
| (=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 15240-15244 | If X is an instance of music and Y expresses the content of X, then Y is an instance of making music |
|
|
|