| 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 | NationalAnthemFn の range は 音楽 のインスタンス では |
| (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 |
|
|
|