| 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 15119-15120 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") | pictureList.kif 2707-2707 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") | pictureList.kif 2864-2864 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") | pictureList.kif 2863-2863 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") | pictureList.kif 2865-2865 | |
| (subclass MusicalComposition Music) | Mid-level-ontology.kif 15118-15118 |
| appearance as argument number 2 |
|
|
| (range MusicalComponentFn MusicalComposition) | Music.kif 908-908 | |
| (termFormat ChineseLanguage MusicalComposition "音乐作品") | domainEnglishFormat.kif 39382-39382 | |
| (termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") | domainEnglishFormat.kif 39381-39381 | |
| (termFormat EnglishLanguage MusicalComposition "musical composition") | domainEnglishFormat.kif 39380-39380 |
| appearance as argument number 3 |
|
|
| (domain SongFn 1 MusicalComposition) | Music.kif 865-865 | |
| (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 1890-1894 | |
| (=> (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 15123-15133 |
| 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 15142-15155 | |
| (=> (instance ?C ComposingMusic) (exists (?M) (and (instance ?M MusicalComposition) (result ?C ?M)))) |
Mid-level-ontology.kif 3768-3773 | |
| (=> (instance ?SM SheetMusic) (exists (?MC) (and (instance ?MC MusicalComposition) (containsInformation ?SM ?MC)))) |
Mid-level-ontology.kif 15784-15789 |
|
|
|