Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Music
Music

VerbNet: performance-26.7|rap, sound_emission-43.2|tootle,


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 11391-11395
(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 7384-7384
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") pictureList.kif 7385-7385
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png") pictureList.kif 7386-7386
(subclass Music Proposition) Mid-level-ontology.kif 11390-11390

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


(range NationalAnthemFn Music) Music.kif 949-949
(subclass MusicalComposition Music) Mid-level-ontology.kif 11404-11404
(subclass Song Music) Mid-level-ontology.kif 11421-11421
(termFormat ChineseLanguage Music "音乐") chinese_format.kif 1225-1225
(termFormat EnglishLanguage Music "music") english_format.kif 1676-1676

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


(domain MusicalInterpretationFn 2 Music) Music.kif 842-842
(domain anthem 1 Music) Music.kif 353-353
(domain musicInterpretation 2 Music) Music.kif 176-176

antecedent
-------------------------


(=>
    (and
        (instance ?MC Music)
        (realization ?MUSIC ?MC))
    (instance ?MUSIC MakingMusic))
Mid-level-ontology.kif 11398-11402


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners