| 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 |
|
|
| (subclass MakingInstrumentalMusic MakingMusic) | Merge.kif 13880-13880 | Instrumental music is a subclass of making music |
| (documentation MakingInstrumentalMusic EnglishLanguage "MakingInstrumentalMusic is a type of MakingMusic which is produced using some kind of MusicalInstrument") | Merge.kif 13881-13882 | Instrumental music is a subclass of making music |
| appearance as argument number 2 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13879-13879 | Making music is exhaustively partitioned into instrumental music and singing |
| (rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) | Music.kif 831-831 | The values returned by playing instrument fn are subclasses of instrumental music |
| (subclass Drumming MakingInstrumentalMusic) | Music.kif 1365-1365 | Drumming is a subclass of instrumental music |
| (termFormat EnglishLanguage MakingInstrumentalMusic "instrumental music") | english_format.kif 1851-1851 | Drumming is a subclass of instrumental music |
| antecedent |
|
|
| (=> (instance ?M MakingInstrumentalMusic) (exists (?I) (and (instance ?I MusicalInstrument) (instrument ?M ?I)))) |
Merge.kif 13884-13889 | If X is an instance of instrumental music, then there exists Y such that Y is an instance of musical instrument and Y is an instrument for X |
| (=> (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 1205-1215 | If X is an instance of wind instrument, Y is an instance of instrumental music, Z is an agent of Y, and X is an instrument for Y, then there exists W such that W is an instance of exhaling, Z is an agent of W, and W is a subprocess of Y |
| consequent |
|
|
| (=> (instance ?ORCHESTRA Orchestra) (hasPurpose ?ORCHESTRA (exists (?MUSIC) (and (instance ?MUSIC MakingInstrumentalMusic) (agent ?MUSIC ?ORCHESTRA))))) |
Mid-level-ontology.kif 20466-20472 | If X is an instance of orchestra, then X has the purpose there exists Y such that Y is an instance of instrumental music and X is an agent of Y |
| (=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 526-534 | If acapella is in the genre X and X is a record of Y, then there doesn't exist Z such that Z is an instance of instrumental music and Z is a subprocess of Y |
| (=> (instance ?GRP MarchingBand) (exists (?P) (and (hasSkill MakingInstrumentalMusic ?P) (member ?P ?GRP)))) |
Music.kif 978-983 | If X is an instance of marching band, then there exists Y such that Y has the skill to do instrumental music and Y is a member of X |
|
|
|