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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Music
Music(音乐)

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 音乐命题subclass

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


(range NationalAnthemFn Music) Music.kif 953-953 NationalAnthemFnrange音乐 的实例
(subclass MusicalComposition Music) Mid-level-ontology.kif 13266-13266 音乐作品音乐subclass
(subclass Song Music) Mid-level-ontology.kif 13283-13283 歌曲音乐subclass
(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 MusicalInterpretationFn 的 2 数量 是 音乐instance
(domain anthem 1 Music) Music.kif 355-355 anthem 的 1 数量 是 音乐instance
(domain musicInterpretation 2 Music) Music.kif 177-177 musicInterpretation 的 2 数量 是 音乐instance

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