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


(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 13253-13257
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg") pictureList.kif 6715-6715
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg") pictureList.kif 7383-7383
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") pictureList.kif 7384-7384
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png") pictureList.kif 7385-7385
(subclass Music Proposition) Mid-level-ontology.kif 13252-13252 Music is a subclass of proposition

appearance as argument number 2
-------------------------


(range NationalAnthemFn Music) Music.kif 953-953 The range of national anthem is an instance of music
(subclass MusicalComposition Music) Mid-level-ontology.kif 13266-13266 Musical composition is a subclass of music
(subclass Song Music) Mid-level-ontology.kif 13283-13283 Song is a subclass of music
(termFormat ChineseLanguage Music "音乐") chinese_format.kif 1225-1225
(termFormat EnglishLanguage Music "music") english_format.kif 1671-1671

appearance as argument number 3
-------------------------


(domain MusicalInterpretationFn 2 Music) Music.kif 844-844 The number 2 argument of musical interpretation is an instance of music
(domain anthem 1 Music) Music.kif 355-355 The number 1 argument of anthem is an instance of music
(domain musicInterpretation 2 Music) Music.kif 177-177 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 13260-13264


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 3.0 is open source software produced by Articulate Software and its partners