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

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


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

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


(domain MusicalInterpretationFn 2 Music) Music.kif 846-846 MusicalInterpretationFn の数値 2 引数は 音楽instance では %n
(domain anthem 1 Music) Music.kif 356-356 anthem の数値 1 引数は 音楽instance では %n
(domain musicInterpretation 2 Music) Music.kif 178-178 musicInterpretation の数値 2 引数は 音楽instance では %n

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


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


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