| MakingInstrumentalMusic | |
| 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 13844-13845 | |
| (subclass MakingInstrumentalMusic MakingMusic) | Merge.kif 13843-13843 | MakingInstrumentalMusic est une sous-classe de MakingMusic |
| appearance as argument number 2 |
|
|
| (partition MakingMusic MakingInstrumentalMusic MakingVocalMusic) | Merge.kif 13842-13842 | MakingMusic est compl�tement d�compos� en MakingInstrumentalMusic + MakingVocalMusic |
| (rangeSubclass PlayingInstrumentFn MakingInstrumentalMusic) | Music.kif 831-831 | Les valeurs retourn�es par PlayingInstrumentFn sont des sous-classes de MakingInstrumentalMusic |
| (subclass Drumming MakingInstrumentalMusic) | Music.kif 1365-1365 | Drumming est une sous-classe de MakingInstrumentalMusic |
| (termFormat ChineseLanguage MakingInstrumentalMusic "器乐") | chinese_format.kif 1407-1407 | Drumming est une sous-classe de MakingInstrumentalMusic |
| (termFormat EnglishLanguage MakingInstrumentalMusic "instrumental music") | english_format.kif 1851-1851 | Drumming est une sous-classe de MakingInstrumentalMusic |
| 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 1205-1215 |
|
| (=> (instance ?M MakingInstrumentalMusic) (exists (?I) (and (instance ?I MusicalInstrument) (instrument ?M ?I)))) |
Merge.kif 13847-13852 |
|
| consequent |
|
|
| (=> (and (musicGenre ?MR Acapella) (record ?MR ?MM)) (not (exists (?MI) (and (instance ?MI MakingInstrumentalMusic) (subProcess ?MI ?MM))))) |
Music.kif 526-534 |
|
| (=> (instance ?GRP MarchingBand) (exists (?P) (and (hasSkill MakingInstrumentalMusic ?P) (member ?P ?GRP)))) |
Music.kif 978-983 |
|
| (=> (instance ?ORCHESTRA Orchestra) (hasPurpose ?ORCHESTRA (exists (?MUSIC) (and (instance ?MUSIC MakingInstrumentalMusic) (agent ?MUSIC ?ORCHESTRA))))) |
Mid-level-ontology.kif 20106-20112 |
|
|
|