| 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 15123-15127 | |
| (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 15122-15122 |
| appearance as argument number 2 |
|
|
| (range NationalAnthemFn Music) | Music.kif 957-957 | |
| (subclass MusicalComposition Music) | Mid-level-ontology.kif 15136-15136 | |
| (subclass Song Music) | Mid-level-ontology.kif 15153-15153 | |
| (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 de Music "Musik") | terms-de.txt 734-734 | |
| (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 848-848 | |
| (domain anthem 1 Music) | Music.kif 358-358 | |
| (domain musicInterpretation 2 Music) | Music.kif 178-178 |
| antecedent |
|
|
| (=> (and (instance ?MC Music) (realization ?MUSIC ?MC)) (instance ?MUSIC MakingMusic)) |
Mid-level-ontology.kif 15130-15134 |
|
|
|