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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MakingMusic
MakingMusic(making music)ad-lib, adagio, air, allegretto, allegro, andante, attack, belling, busk, callathump, callithump, charivari, chivaree, chord, clarion, coloratura, cradlesong, descant, discant, double_tongue, drum, euphony, extemporise, extemporize, fermata, fiddle, forte, fortissimo, fugally, glissando, harmonisation, harmonise, harmonization, harmonize, harp, hymn, improvise, improvize, intonation, legato, lento, line, loudly, lullaby, making_music, melodic_line, melodic_phrase, melodiously, melody, molto...

appearance as argument number 1
-------------------------


s__comment(s__MakingMusic,'Changing the old Music to MakingMusic to be more consistent with the verb-form that Process seem to take. (09-14-2011)','KJN')

Merge.kif 13615-13616
s__documentation(s__MakingMusic,s__ChineseLanguage,'MakingMusic 是一种 RadiatingSound, 它的 result 是经过细心推敲创作,而旨在有有旋律感的。')

Merge.kif 13612-13613
s__documentation(s__MakingMusic,s__EnglishLanguage,'MakingMusic is a type of RadiatingSound where the result is intended to be melodic and is produced delibrately')

Merge.kif 13609-13610
s__partition_3(s__MakingMusic,s__MakingInstrumentalMusic,s__MakingVocalMusic)

Merge.kif 13618-13618 Making music is exhaustively partitioned into instrumental music and singing
s__subclass(s__MakingMusic,s__RadiatingSound)

Merge.kif 13608-13608 Making music is a subclass of radiating sound

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


s__range(s__MusicalInterpretationFn__m,s__MakingMusic)

Music.kif 850-850 The range of musical interpretation is an instance of making music
s__instance(s__MakingInstrumentalMusic,s__SetOrClass)

Merge.kif 13619-13619 Instrumental music is a subclass of making music
s__instance(s__MakingMusic,s__SetOrClass)

Merge.kif 13636-13636 Singing is a subclass of making music
s__termFormat(s__ChineseLanguage,s__MakingMusic,'制作音乐')

Merge.kif 13614-13614 "制作音乐" is the printable form of making music in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__MakingMusic,'making music')

Merge.kif 13611-13611 "making music" is the printable form of making music in english language

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


s__domainSubclass(s__musician__m,3,s__MakingMusic)

Music.kif 193-193 The number 3 argument of musician is a subclass of making music

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


( ! [V__GROUP,V__MUSIC] :
   ((s__instance(V__GROUP,s__Choir) &
       s__agent(V__MUSIC,V__GROUP)
     &
     s__instance(V__MUSIC,s__MakingMusic))
   =>
   s__instance(V__MUSIC,s__MakingVocalMusic))
)

Media.kif 1777-1782

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


( ! [V__MUSIC] :
   (s__attribute(V__MUSIC,s__PolyphonicMusic) <=>
     (? [V__PART1,V__PART2] :
       (s__instance(V__MUSIC,s__MakingMusic) &
         s__instance(V__PART1,s__MakingMusic) &
         s__instance(V__PART2,s__MakingMusic) &
         s__subProcess(V__PART1,V__MUSIC)
       &
       s__subProcess(V__PART2,V__MUSIC)
     &
     (~ (V__PART1 = V__PART2))
     &
     s__cooccur(V__PART1,V__MUSIC)
   &
   s__cooccur(V__PART2,V__MUSIC))))
)

Mid-level-ontology.kif 927-938 Polyphonic music is an attribute of an object if and only if there exist a process and another process such that the object is an instance of making music and the process is an instance of making music and the other process is an instance of making music and the process is a subprocess of the object and the other process is a subprocess of the object and the process is not equal to the other process and the process occurs at the same time as the object and the other process occurs at the same time as the object
( ! [V__ATTR,V__A] :
   ((s__instance(V__ATTR,s__MusicGenre) &
       s__attribute(V__A,V__ATTR))
   =>
   (s__instance(V__A,s__MakingMusic) |
     s__instance(V__A,s__MusicRecording)))
)

Music.kif 513-519
( ! [V__MC,V__MUSIC] :
   ((s__instance(V__MC,s__Music) &
       s__realization(V__MUSIC,V__MC))
   =>
   s__instance(V__MUSIC,s__MakingMusic))
)

Mid-level-ontology.kif 11340-11344
( ! [V__OPERA,V__ACT] :
   ((s__instance(V__OPERA,s__Opera) &
       s__realization(V__ACT,V__OPERA))
   =>
   s__instance(V__ACT,s__MakingMusic))
)

Mid-level-ontology.kif 12668-12672
( ! [V__ORG] :
   ((s__instance(V__ORG,s__Organization) &
       s__attribute(V__ORG,s__SportingGoodsHobbyBookAndMusicStores))
     =>
     (? [V__EV,V__MEM] :
       (s__member(V__MEM,V__ORG)
       &
       s__agent(V__MEM,V__EV)
     &
     (? [V__THING] :
       (s__instance(V__EV,s__Selling) &
         s__instance(V__THING,s__Object) &
         (s__capability(s__Sport,s__instrument__m,V__THING)
         |
         s__capability(s__MakingMusic,s__instrument__m,V__THING)
       |
       s__instance(V__THING,s__Book) |
       s__instance(V__THING,s__MusicRecording) |
       s__instance(V__THING,s__MusicText))
     &
     s__patient(V__EV,V__THING))))))
)

naics.kif 7607-7625
( ! [V__P,V__M] :
   ((s__instance(V__P,s__MusicalPerformance) &
       s__subProcess(V__M,V__P))
   =>
   s__instance(V__M,s__MakingMusic))
)

Mid-level-ontology.kif 13589-13593
( ! [V__S,V__MUSIC] :
   ((s__instance(V__S,s__Song) &
       s__realization(V__S,V__MUSIC))
   =>
   (? [V__MM,V__MV,V__LC,V__MC] :
     (s__instance(V__MM,s__MakingMusic) &
       s__instance(V__MV,s__Singing) &
       s__instance(V__LC,s__LyricalContent) &
       s__instance(V__MC,s__MusicalComposition) &
       s__patient(V__MM,V__MC)
     &
     s__patient(V__MV,V__LC)
   &
   s__subProcess(V__MM,V__MUSIC)
&
s__subProcess(V__MV,V__MUSIC))))
)

Mid-level-ontology.kif 11370-11383
( ! [V__CLASS] :
   (s__instance(V__CLASS,s__MusicClass) =>
     (? [V__PROC] :
       (s__instance(V__PROC,s__MakingMusic) &
         s__subProcess(V__PROC,V__CLASS))))
)

Offers.kif 177-182
( ! [V__CONTEST] :
   (s__instance(V__CONTEST,s__MusicContest) =>
     (? [V__J] :
       (s__instance(V__J,s__Judging) &
         (! [V__A] :
           (s__contestParticipant(V__CONTEST,V__A)
           =>
           (? [V__MM] :
             (s__agent(V__MM,V__A)
             &
             s__instance(V__MM,s__MakingMusic) &
             s__subProcess(V__MM,V__CONTEST)
           &
           s__patient(V__J,V__MM))))))))
)

Music.kif 1005-1018
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24942-24951
( ! [V__INSTRUMENT] :
   (s__instance(V__INSTRUMENT,s__MusicalInstrument) =>
     s__capability(s__MakingMusic,s__instrument__m,V__INSTRUMENT))
)

Merge.kif 16068-16070
( ! [V__M] :
   (s__instance(V__M,s__MusicRecording) =>
     (? [V__P] :
       (s__instance(V__P,s__MakingMusic) &
         s__record(V__M,V__P))))
)

Mid-level-ontology.kif 12023-12028
( ! [V__PERF] :
   (s__instance(V__PERF,s__MusicalPerformance) =>
     (? [V__MUSIC] :
       (s__instance(V__MUSIC,s__MakingMusic) &
         s__subProcess(V__MUSIC,V__PERF))))
)

Media.kif 1809-1814
( ! [V__PERFORMANCE] :
   (s__instance(V__PERFORMANCE,s__Performance) =>
     (? [V__SUB] :
       (s__subProcess(V__SUB,V__PERFORMANCE)
       &
       (s__instance(V__SUB,s__DramaticActing) |
         s__instance(V__SUB,s__MakingMusic)))))
)

Mid-level-ontology.kif 13507-13514
( ! [V__X] :
   (s__instance(V__X,s__MusicText) =>
     s__capability(s__MakingMusic,s__patient__m,V__X))
)

Mid-level-ontology.kif 12047-12049
No TPTP formula. May not be expressible in strict first order. Music.kif 675-683
( ! [V__MR,V__MC] :
   (s__musicInterpretation(V__MR,V__MC)
   =>
   (? [V__P] :
     (s__instance(V__P,s__MakingMusic) &
       s__realization(V__P,V__MC)
     &
     s__record(V__MR,V__P))))
)

Music.kif 178-184


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