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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Song

Sigma KEE - Song
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 13091-13094
(externalImage Song "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png") pictureList.kif 2935-2935
(subclass Song Music) Mid-level-ontology.kif 13090-13090

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


(range SongFn Song) Music.kif 862-862
(termFormat ChineseLanguage Song "歌曲") domainEnglishFormat.kif 53931-53931
(termFormat ChineseTraditionalLanguage Song "歌曲") domainEnglishFormat.kif 53930-53930
(termFormat EnglishLanguage Song "song") domainEnglishFormat.kif 53929-53929

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


(domain LyricalComponentFn 1 Song) Music.kif 914-914
(domain MusicalComponentFn 1 Song) Music.kif 902-902

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 13097-13110


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

Show without tree


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