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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MusicalComposition

Sigma KEE - MusicalComposition
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 11380-11381
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") pictureList.kif 2709-2709
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") pictureList.kif 2866-2866
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") pictureList.kif 2865-2865
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2867-2867
(subclass MusicalComposition Music) Mid-level-ontology.kif 11379-11379

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


(range MusicalComponentFn MusicalComposition) Music.kif 902-902
(termFormat ChineseLanguage MusicalComposition "音乐作品") domainEnglishFormat.kif 39295-39295
(termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") domainEnglishFormat.kif 39294-39294
(termFormat EnglishLanguage MusicalComposition "musical composition") domainEnglishFormat.kif 39293-39293

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


(domain SongFn 1 MusicalComposition) Music.kif 859-859
(domain composer 2 MusicalComposition) Music.kif 145-145
(domainSubclass composer 2 MusicalComposition) Media.kif 1846-1846

antecedent
-------------------------


(=>
    (and
        (authors ?AGENT ?CLASS)
        (subclass ?CLASS MusicalComposition))
    (composer ?AGENT ?CLASS))
Media.kif 1853-1857
(=>
    (and
        (holdsDuring ?T1
            (publishes ?AGENT ?COMPCLASS))
        (subclass ?COMPCLASS MusicalComposition))
    (holdsDuring ?T1
        (attribute ?AGENT MusicPublishers)))
Media.kif 1890-1894
(=>
    (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 11384-11394

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 11403-11416
(=>
    (instance ?C ComposingMusic)
    (exists (?M)
        (and
            (instance ?M MusicalComposition)
            (result ?C ?M))))
Mid-level-ontology.kif 3864-3869
(=>
    (instance ?SM SheetMusic)
    (exists (?MC)
        (and
            (instance ?MC MusicalComposition)
            (containsInformation ?SM ?MC))))
Mid-level-ontology.kif 12063-12068


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