Song
|
|
appearance as argument number 1 |
(documentation Song EnglishLanguage "Song refers to the conception of music that includes both MusicalComposition and LyricalComposition. While a Song can be interpreted without its LyricalContent, or its LyricalContent is used elsewhere, the idea of Song as it was originally conceptualized is that it contains both.") | Mid-level-ontology.kif 13792-13795 | |
(externalImage Song "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png") | pictureList.kif 2934-2934 | |
(subclass Song Music) | Mid-level-ontology.kif 13791-13791 | 子類 歌曲 and Music |
appearance as argument number 2 |
(range SongFn Song) | Music.kif 865-865 | 範圍 SongFn and 歌曲 |
(termFormat ChineseLanguage Song "歌曲") | domainEnglishFormat.kif 53954-53954 | |
(termFormat ChineseTraditionalLanguage Song "歌曲") | domainEnglishFormat.kif 53953-53953 | |
(termFormat EnglishLanguage Song "song") | domainEnglishFormat.kif 53952-53952 |
appearance as argument number 3 |
(domain LyricalComponentFn 1 Song) | Music.kif 917-917 | 域 LyricalComponentFn, 1 and 歌曲 |
(domain MusicalComponentFn 1 Song) | Music.kif 905-905 | 域 MusicalComponentFn, 1 and 歌曲 |
antecedent |
(=> (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 |