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

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


(range NationalAnthemFn Music) Music.kif 955-955
(subclass MusicalComposition Music) Mid-level-ontology.kif 13747-13747
(subclass Song Music) Mid-level-ontology.kif 13764-13764
(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
(domain anthem 1 Music) Music.kif 356-356
(domain musicInterpretation 2 Music) Music.kif 178-178

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