|
|
   MusicalComposition
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MusicalComposition EnglishLanguage "MusicalComposition refers to the the conception of a musical arrangement not including any LyricalContent.") | Mid-level-ontology.kif 13775-13776 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") | pictureList.kif 2708-2708 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") | pictureList.kif 2865-2865 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") | pictureList.kif 2864-2864 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") | pictureList.kif 2866-2866 | |
| (subclass MusicalComposition Music) | Mid-level-ontology.kif 13774-13774 |
| appearance as argument number 2 |
|
|
| (range MusicalComponentFn MusicalComposition) | Music.kif 906-906 | |
| (termFormat ChineseLanguage MusicalComposition "音乐作品") | domainEnglishFormat.kif 39371-39371 | |
| (termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") | domainEnglishFormat.kif 39370-39370 | |
| (termFormat EnglishLanguage MusicalComposition "musical composition") | domainEnglishFormat.kif 39369-39369 |
| appearance as argument number 3 |
|
|
| (domain SongFn 1 MusicalComposition) | Music.kif 863-863 | |
| (domain composer 2 MusicalComposition) | Music.kif 146-146 |
| antecedent |
|
|
| (=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers))) |
Media.kif 1888-1892 | |
| (=> (and (instance ?MC MusicalComposition) (realization ?MC ?MUSIC)) (not (exists (?LC ?V) (and (instance ?V Singing) (patient ?V ?LC) (instance ?LC LyricalContent) (subProcess ?V ?MUSIC))))) |
Mid-level-ontology.kif 13779-13789 |
| consequent |
|
|
| (=> (and (instance ?S Song) (realization ?S ?MUSIC)) (exists (?MM ?MV ?LC ?MC) (and (instance ?MM MakingMusic) (instance ?MV Singing) (instance ?LC LyricalContent) (instance ?MC MusicalComposition) (patient ?MM ?MC) (patient ?MV ?LC) (subProcess ?MM ?MUSIC) (subProcess ?MV ?MUSIC)))) |
Mid-level-ontology.kif 13798-13811 | |
| (=> (instance ?C ComposingMusic) (exists (?M) (and (instance ?M MusicalComposition) (result ?C ?M)))) |
Mid-level-ontology.kif 3318-3323 | |
| (=> (instance ?SM SheetMusic) (exists (?MC) (and (instance ?MC MusicalComposition) (containsInformation ?SM ?MC)))) |
Mid-level-ontology.kif 14440-14445 |
|
|
|
