| 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 13747-13748 | |
| (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 13746-13746 | MusicalComposition ist eine teilkategorie von Music |
| appearance as argument number 2 |
|
|
| (range MusicalComponentFn MusicalComposition) | Music.kif 906-906 | bildbereich von MusicalComponentFn ist ein fall von MusicalComposition {nicht} |
| (termFormat ChineseLanguage MusicalComposition "音乐作品") | domainEnglishFormat.kif 39369-39369 | |
| (termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") | domainEnglishFormat.kif 39368-39368 | |
| (termFormat EnglishLanguage MusicalComposition "musical composition") | domainEnglishFormat.kif 39367-39367 |
| appearance as argument number 3 |
|
|
| (domain SongFn 1 MusicalComposition) | Music.kif 863-863 | Die Zahl 1 Argument von SongFn ist ein fall von MusicalComposition %n{nicht} |
| (domain composer 2 MusicalComposition) | Music.kif 146-146 | Die Zahl 2 Argument von composer ist ein fall von MusicalComposition %n{nicht} |
| 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 13751-13761 |
|
| 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 13770-13783 |
|
| (=> (instance ?C ComposingMusic) (exists (?M) (and (instance ?M MusicalComposition) (result ?C ?M)))) |
Mid-level-ontology.kif 3325-3330 |
|
| (=> (instance ?SM SheetMusic) (exists (?MC) (and (instance ?MC MusicalComposition) (containsInformation ?SM ?MC)))) |
Mid-level-ontology.kif 14412-14417 |
|
|
|
|