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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 15119-15120
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") pictureList.kif 2707-2707
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") pictureList.kif 2864-2864
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") pictureList.kif 2863-2863
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2865-2865
(subclass MusicalComposition Music) Mid-level-ontology.kif 15118-15118 MusicalComposition est une sous-classe de musique

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


(range MusicalComponentFn MusicalComposition) Music.kif 908-908 Le domaine de MusicalComponentFn est une instance de MusicalComposition
(termFormat ChineseLanguage MusicalComposition "音乐作品") domainEnglishFormat.kif 39382-39382 Le domaine de MusicalComponentFn est une instance de MusicalComposition
(termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") domainEnglishFormat.kif 39381-39381 Le domaine de MusicalComponentFn est une instance de MusicalComposition
(termFormat EnglishLanguage MusicalComposition "musical composition") domainEnglishFormat.kif 39380-39380 Le domaine de MusicalComponentFn est une instance de MusicalComposition

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


(domain SongFn 1 MusicalComposition) Music.kif 865-865 Le nombre 1 argument de SongFn est une instance de MusicalComposition
(domain composer 2 MusicalComposition) Music.kif 146-146 Le nombre 2 argument de composer est une instance de MusicalComposition

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


(=>
    (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 15123-15133

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 15142-15155
(=>
    (instance ?C ComposingMusic)
    (exists (?M)
        (and
            (instance ?M MusicalComposition)
            (result ?C ?M))))		 Mid-level-ontology.kif 3768-3773
(=>
    (instance ?SM SheetMusic)
    (exists (?MC)
        (and
            (instance ?MC MusicalComposition)
            (containsInformation ?SM ?MC))))		 Mid-level-ontology.kif 15784-15789


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