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 15105-15109
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/9/95/ Naxi_Musicians_I.jpg") pictureList.kif 6713-6713
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Music_on_top_of_Opera_Garnier_p1150815.jpg") pictureList.kif 7381-7381
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Mozarteum_grosser_saal_buehne_mit_orchester.jpg") pictureList.kif 7382-7382
(externalImage Music "http://upload.wikimedia.org/wikipedia/commons/f/f8/ Claves.png") pictureList.kif 7383-7383
(subclass Music Proposition) Mid-level-ontology.kif 15104-15104 音楽命題subclass では

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


(range NationalAnthemFn Music) Music.kif 957-957 NationalAnthemFnrange音楽 のインスタンス では
(subclass MusicalComposition Music) Mid-level-ontology.kif 15118-15118 MusicalComposition音楽subclass では
(subclass Song Music) Mid-level-ontology.kif 15135-15135 Song音楽subclass では
(termFormat ChineseLanguage Music "音乐") chinese_format.kif 1225-1225 Song音楽subclass では
(termFormat EnglishLanguage Music "music") english_format.kif 1671-1671 Song音楽subclass では
(termFormat FrenchLanguage Music "musique") french_format.kif 903-903 Song音楽subclass では
(termFormat Hindi Music "sangiita") terms-hindi.txt 436-436 Song音楽subclass では
(termFormat ItalianLanguage Music "Musica") terms-it.txt 439-439 Song音楽subclass では
(termFormat JapaneseLanguage Music "音楽") japanese_format.kif 2587-2587 Song音楽subclass では
(termFormat PortugueseLanguage Music "Musica") portuguese_format.kif 855-855 Song音楽subclass では
(termFormat cb Music "sonata") terms-cb.txt 441-441 Song音楽subclass では
(termFormat cz Music "music") terms-cz.txt 475-475 Song音楽subclass では
(termFormat de Music "Musik") terms-de.txt 734-734 Song音楽subclass では
(termFormat ro Music "muzicã") relations-ro.kif 924-924 Song音楽subclass では
(termFormat tg Music "musika") terms-tg.txt 440-440 Song音楽subclass では

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


(domain MusicalInterpretationFn 2 Music) Music.kif 848-848 MusicalInterpretationFn の数値 2 引数は 音楽instance では
(domain anthem 1 Music) Music.kif 358-358 anthem の数値 1 引数は 音楽instance では
(domain musicInterpretation 2 Music) Music.kif 178-178 musicInterpretation の数値 2 引数は 音楽instance では

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


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


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