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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Music
Music(musique)

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 Musique est une sous-classe de proposition

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


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

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


(domain MusicalInterpretationFn 2 Music) Music.kif 848-848 Le nombre 2 argument de MusicalInterpretationFn est une instance de musique
(domain anthem 1 Music) Music.kif 358-358 Le nombre 1 argument de anthem est une instance de musique
(domain musicInterpretation 2 Music) Music.kif 178-178 Le nombre 2 argument de musicInterpretation est une instance de musique

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