| 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 11347-11348 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") | pictureList.kif 2709-2709 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") | pictureList.kif 2866-2866 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") | pictureList.kif 2865-2865 | |
| (externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") | pictureList.kif 2867-2867 | |
| (subclass MusicalComposition Music) | Mid-level-ontology.kif 11346-11346 |
| appearance as argument number 2 |
|
|
| (range MusicalComponentFn MusicalComposition) | Music.kif 908-908 | |
| (termFormat EnglishLanguage MusicalComposition "musical composition") | domainEnglishFormat.kif 6981-6981 |
| appearance as argument number 3 |
|
|
| (domain SongFn 1 MusicalComposition) | Music.kif 865-865 | |
| (domain composer 2 MusicalComposition) | Music.kif 145-145 | |
| (domainSubclass composer 2 MusicalComposition) | Media.kif 1846-1846 |
| antecedent |
|
|
| (=> (and (authors ?AGENT ?CLASS) (subclass ?CLASS MusicalComposition)) (composer ?AGENT ?CLASS)) |
Media.kif 1853-1857 | |
| (=> (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 11351-11361 |
| 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 11370-11383 | |
| (=> (instance ?C ComposingMusic) (exists (?M) (and (instance ?M MusicalComposition) (result ?C ?M)))) |
Mid-level-ontology.kif 3862-3867 | |
| (=> (instance ?SM SheetMusic) (exists (?MC) (and (instance ?MC MusicalComposition) (containsInformation ?SM ?MC)))) |
Mid-level-ontology.kif 12036-12041 |
|
|
|