Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Song
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 13983-13986
(externalImage Song "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png") pictureList.kif 2934-2934
(subclass Song Music) Mid-level-ontology.kif 13982-13982 Song is a subclass of music

appearance as argument number 2
-------------------------


(range SongFn Song) Music.kif 865-865 The range of song function is an instance of song
(termFormat ChineseLanguage Song "歌曲") domainEnglishFormat.kif 53992-53992 The range of song function is an instance of song
(termFormat ChineseTraditionalLanguage Song "歌曲") domainEnglishFormat.kif 53991-53991 The range of song function is an instance of song
(termFormat EnglishLanguage Song "song") domainEnglishFormat.kif 53990-53990 The range of song function is an instance of song

appearance as argument number 3
-------------------------


(domain LyricalComponentFn 1 Song) Music.kif 917-917 The number 1 argument of lyrical component function is an instance of song
(domain MusicalComponentFn 1 Song) Music.kif 905-905 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 13989-14002


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners