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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MakingInstrumentalMusic

Sigma KEE - MakingInstrumentalMusic
MakingInstrumentalMusicaccompany, bang_out, beat, bell_ringing, bow, bugle, carillon, carillon_playing, change_ringing, chord, double_stopping, fanfare, fiddle, flourish, follow, instrumental_music, jazz, misplay, pedal, percussion, piano_music, pipe, piping, pizzicato, play, play_along, playing, prelude, rag, register, riff, skirl, slur, spiel, stopping, swing, tucket, tweedle, 器乐

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


s__documentation(s__MakingInstrumentalMusic,s__ChineseLanguage,'MakingInstrumentalMusic 是一种 MakingMusic,它通过某种 MusicalInstrument 来制作音乐。')

Merge.kif 13622-13623
s__documentation(s__MakingInstrumentalMusic,s__EnglishLanguage,'MakingInstrumentalMusic is a type of MakingMusic which is produced using some kind of MusicalInstrument')

Merge.kif 13620-13621
s__instance(s__MakingInstrumentalMusic,s__SetOrClass)

Merge.kif 13619-13619

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


s__partition_3(s__MakingMusic,s__MakingInstrumentalMusic,s__MakingVocalMusic)

Merge.kif 13618-13618
s__rangeSubclass(s__PlayingInstrumentFn__m,s__MakingInstrumentalMusic)

Music.kif 831-831
s__instance(s__MakingInstrumentalMusic,s__SetOrClass)

Music.kif 1361-1361
s__termFormat(s__ChineseLanguage,s__MakingInstrumentalMusic,'器乐')

Merge.kif 13626-13626
s__termFormat(s__EnglishLanguage,s__MakingInstrumentalMusic,'instrumental music')

Merge.kif 13625-13625

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


( ! [V__WI,V__M,V__A] :
   ((s__instance(V__WI,s__WindInstrument) &
       s__instance(V__M,s__MakingInstrumentalMusic) &
       s__agent(V__M,V__A)
     &
     s__instrument(V__M,V__WI))
=>
(? [V__B] :
   (s__instance(V__B,s__Exhaling) &
     s__agent(V__B,V__A)
   &
   s__subProcess(V__B,V__M))))
)

Music.kif 1201-1211
( ! [V__M] :
   (s__instance(V__M,s__MakingInstrumentalMusic) =>
     (? [V__I] :
       (s__instance(V__I,s__MusicalInstrument) &
         s__instrument(V__M,V__I))))
)

Merge.kif 13629-13634

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


( ! [V__MR,V__MM] :
   ((s__musicGenre(V__MR,s__Acapella) &
       s__record(V__MR,V__MM))
   =>
   (~ (? [V__MI] :
       (s__instance(V__MI,s__MakingInstrumentalMusic) &
         s__subProcess(V__MI,V__MM)))))
)

Music.kif 526-534
( ! [V__GRP] :
   (s__instance(V__GRP,s__MarchingBand) =>
     (? [V__P] :
       (s__hasSkill(s__MakingInstrumentalMusic,V__P)
       &
       s__member(V__P,V__GRP))))
)

Music.kif 976-981
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16097-16103


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