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

Formal Language: 



KB Term:  Term intersection
English Word: 

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