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


s__documentation(s__MusicalComposition,s__EnglishLanguage,'MusicalComposition refers to the the conception of a musical arrangement not including any LyricalContent.')

Mid-level-ontology.kif 11347-11348
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__externalImage(s__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
s__subclass(s__MusicalComposition,s__Music)

s__instance(s__Music,s__SetOrClass)

s__instance(s__MusicalComposition,s__SetOrClass)

Mid-level-ontology.kif 11346-11346 Musical composition is a subclass of music

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


s__range(s__MusicalComponentFn__m,s__MusicalComposition)

Music.kif 908-908 The range of musical composition function is an instance of musical composition
s__termFormat(s__EnglishLanguage,s__MusicalComposition,'musical composition')

domainEnglishFormat.kif 6981-6981 "musical composition" is the printable form of musical composition in english language

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


s__domain(s__SongFn__m,1,s__MusicalComposition)

Music.kif 865-865 The number 1 argument of song function is an instance of musical composition
s__domain(s__composer__m,2,s__MusicalComposition)

Music.kif 145-145 The number 2 argument of composer is an instance of musical composition
s__domainSubclass(s__composer__m,2,s__MusicalComposition)

Media.kif 1846-1846 The number 2 argument of composer is a subclass of musical composition

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


( ! [V__AGENT,V__CLASS] :
   ((s__instance(V__AGENT,s__Agent)s__and__ms__subclass(V__CLASS,s__ContentBearingObject)s__and__ms__subclass(V__CLASS,s__MusicalComposition)s__and__ms__instance(V__CLASS,s__SetOrClass))
    s__=>((s__authors(V__AGENT,V__CLASS)
      s__and__ms__subclass(V__CLASS,s__MusicalComposition))
    s__=>s__composer(V__AGENT,V__CLASS)))
)

Media.kif 1853-1857
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
( ! [V__MUSIC,V__MC] :
   ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition))
    s__=>((s__instance(V__MC,s__MusicalComposition)s__and__ms__realization(V__MC,V__MUSIC))
    s__=>(s__not__m(s__exists__m[V__LC,V__V] :
       (s__instance(V__V,s__Singing)s__and__ms__patient(V__V,V__LC)
      s__and__ms__instance(V__LC,s__LyricalContent)s__and__ms__subProcess(V__V,V__MUSIC))))))
)

Mid-level-ontology.kif 11351-11361

consequent
-------------------------


( ! [V__MUSIC,V__S] :
   ((s__instance(V__MUSIC,s__Process)s__and__ms__instance(V__MUSIC,s__Proposition))
    s__=>((s__instance(V__S,s__Song)s__and__ms__realization(V__S,V__MUSIC))
    s__=>(s__exists__m[V__MM,V__MV,V__LC,V__MC] :
       (s__instance(V__MM,s__MakingMusic)s__and__ms__instance(V__MV,s__Singing)s__and__ms__instance(V__LC,s__LyricalContent)s__and__ms__instance(V__MC,s__MusicalComposition)s__and__ms__patient(V__MM,V__MC)
      s__and__ms__patient(V__MV,V__LC)
    s__and__ms__subProcess(V__MM,V__MUSIC)
  s__and__ms__subProcess(V__MV,V__MUSIC)))))
)

Mid-level-ontology.kif 11370-11383
( ! [V__C] :
   (s__instance(V__C,s__ComposingMusic)s__=>(s__exists__m[V__M] :
       (s__instance(V__M,s__MusicalComposition)s__and__ms__result(V__C,V__M))))
)

Mid-level-ontology.kif 3862-3867
( ! [V__SM] :
   (s__instance(V__SM,s__SheetMusic)s__=>(s__exists__m[V__MC] :
       (s__instance(V__MC,s__MusicalComposition)s__and__ms__containsInformation(V__SM,V__MC))))
)

Mid-level-ontology.kif 12036-12041


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