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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MusicalComposition
MusicalComposition(musical composition)
Bach, Beethoven, Brahms, Chopin, Handel, Haydn, Mozart, Stravinsky, Wagner, accompaniment, amen_cadence, backup, bagatelle, cadence, cadenza, capriccio, composition, concerto, concerto_grosso, development, divertimento, etude, exposition, fantasia, idea, idyl, idyll, incidental_music, instrumental_music, ligature, melodic_theme, movement, musical_accompaniment, musical_composition, musical_passage, musical_phrase, musical_theme, nocturne, notturno, opus, ostinato, partita, passage, pastoral, pastorale, phrase, piano_sonata, piece, piece_of_music, plagal_cadence...

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 11352-11353
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 46/ Cequelaino.png") pictureList.kif 2709-2709 "http://upload.wikimedia.org/wikipedia/commons/4/46/ Cequelaino.png" is a URL depicting musical composition
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 5e/ Himno_mexicanos_text2.jpg") pictureList.kif 2866-2866 "http://upload.wikimedia.org/wikipedia/commons/5/5e/ Himno_mexicanos_text2.jpg" is a URL depicting musical composition
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 80/ Himno_mexicanos_text.jpg") pictureList.kif 2865-2865 "http://upload.wikimedia.org/wikipedia/commons/8/80/ Himno_mexicanos_text.jpg" is a URL depicting musical composition
(externalImage MusicalComposition "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8c/ Qaumi_Tarana_Sheet_Music.png") pictureList.kif 2867-2867 "http://upload.wikimedia.org/wikipedia/commons/8/8c/ Qaumi_Tarana_Sheet_Music.png" is a URL depicting musical composition
(subclass MusicalComposition Music) Mid-level-ontology.kif 11351-11351 Musical composition is a subclass of music

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


(range MusicalComponentFn MusicalComposition) Music.kif 902-902 The range of musical composition function is an instance of musical composition
(termFormat ChineseLanguage MusicalComposition "音乐作品") domainEnglishFormat.kif 39289-39289 "音乐作品" is the printable form of musical composition in ChineseLanguage
(termFormat ChineseTraditionalLanguage MusicalComposition "音樂作品") domainEnglishFormat.kif 39288-39288 "音樂作品" is the printable form of musical composition in ChineseTraditionalLanguage
(termFormat EnglishLanguage MusicalComposition "musical composition") domainEnglishFormat.kif 39287-39287 "musical composition" is the printable form of musical composition in english language

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


(domain SongFn 1 MusicalComposition) Music.kif 859-859 The number 1 argument of song function is an instance of musical composition
(domain composer 2 MusicalComposition) Music.kif 145-145 The number 2 argument of composer is an instance of musical composition
(domainSubclass composer 2 MusicalComposition) Media.kif 1846-1846 The number 2 argument of composer is a subclass of musical composition

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 11356-11366

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 11375-11388
(=>
    (instance ?C ComposingMusic)
    (exists (?M)
        (and
            (instance ?M MusicalComposition)
            (result ?C ?M))))
Mid-level-ontology.kif 3858-3863
(=>
    (instance ?SM SheetMusic)
    (exists (?MC)
        (and
            (instance ?MC MusicalComposition)
            (containsInformation ?SM ?MC))))
Mid-level-ontology.kif 12035-12040


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners