Music - Sigma Knowledge base Browser

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	NationalAnthemFn 的 range 是音乐的实例
(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