| MakingInstrumentalMusic | | accompany, 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 |
|
|
|