| MakingInstrumentalMusic(instrumental music) | | 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 |
|
|
| (documentation MakingInstrumentalMusic ChineseLanguage "MakingInstrumentalMusic 是一种 MakingMusic，它通过某种 MusicalInstrument 来制作音乐。") | chinese_format.kif 1404-1405 | |
| (documentation MakingInstrumentalMusic EnglishLanguage "MakingInstrumentalMusic is a type of MakingMusic which is produced using some kind of MusicalInstrument") | Merge.kif 13751-13752 | |
| (subclass MakingInstrumentalMusic MakingMusic) | Merge.kif 13750-13750 | Instrumental music is a subclass of making music |
| appearance as argument number 2 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13749-13749 | Making music is exhaustively partitioned into instrumental music and singing |
| (rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) | Music.kif 829-829 | The values returned by playing instrument fn are subclasses of instrumental music |
| (subclass Drumming MakingInstrumentalMusic) | Music.kif 1363-1363 | Drumming is a subclass of instrumental music |
| (termFormat ChineseLanguage MakingInstrumentalMusic "器乐") | chinese_format.kif 1407-1407 | |
| (termFormat EnglishLanguage MakingInstrumentalMusic "instrumental music") | english_format.kif 1851-1851 |
| antecedent |
|
|
| (=> (and (instance ?WI WindInstrument) (instance ?M MakingInstrumentalMusic) (agent ?M ?A) (instrument ?M ?WI)) (exists (?B) (and (instance ?B Exhaling) (agent ?B ?A) (subProcess ?B ?M)))) |
Music.kif 1203-1213 |
|
| (=> (instance ?M MakingInstrumentalMusic) (exists (?I) (and (instance ?I MusicalInstrument) (instrument ?M ?I)))) |
Merge.kif 13754-13759 |
|
| consequent |
|
|
|
|
|