| Song(song)
| | Internationale, anthem, aria, arietta, ballad, banquet_song, barcarole, barcarolle, chantey, chanty, chorus, coronach, dirge, ditty, drinking_song, hymn, lament, lay, love-song, love_song, madrigal, minstrelsy, motet, partsong, prothalamion, prothalamium, refrain, requiem, roundelay, scolion, sea_chantey, serenade, shanty, short_aria, song, threnody, torch_song, vocal, vocal_music, work_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 15154-15157 | |
| (externalImage Song "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png") | pictureList.kif 2933-2933 | |
| (subclass Song Music) | Mid-level-ontology.kif 15153-15153 | Song is a subclass of music |
| appearance as argument number 2 |
|
|
| (range SongFn Song) | Music.kif 867-867 | The range of song function is an instance of song |
| (termFormat ChineseLanguage Song "歌曲") | domainEnglishFormat.kif 53985-53985 | The range of song function is an instance of song |
| (termFormat ChineseTraditionalLanguage Song "歌曲") | domainEnglishFormat.kif 53984-53984 | The range of song function is an instance of song |
| (termFormat EnglishLanguage Song "song") | domainEnglishFormat.kif 53983-53983 | The range of song function is an instance of song |
| appearance as argument number 3 |
|
|
| (domain LyricalComponentFn 1 Song) | Music.kif 919-919 | The number 1 argument of lyrical component function is an instance of song |
| (domain MusicalComponentFn 1 Song) | Music.kif 907-907 | The number 1 argument of musical composition function is an instance of song |
| 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 15160-15173 |
|
|
|
|