Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 14014-14014 | 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 14015-14016 | Instrumental music is a subclass of making music |
| appearance as argument number 2 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 14013-14013 | 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 1367-1367 | Drumming is a subclass of instrumental music |
| (termFormat EnglishLanguage MakingInstrumentalMusic "instrumental music") | english_format.kif 1855-1855 | Drumming is a subclass of instrumental music |
| antecedent |
|
|
| (=> (instance ?M MakingInstrumentalMusic) (exists (?I) (and (instance ?I MusicalInstrument) (instrument ?M ?I)))) |
Merge.kif 14018-14023 | 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 1207-1217 | 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 20454-20460 | 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 |
|