| ComposingMusic
| |
| appearance as argument number 1 |
|
|
| (documentation ComposingMusic EnglishLanguage "ComposingMusic is a type of ContentDevelopment that results in a MusicalComposition") | Mid-level-ontology.kif 3314-3315 | |
| (externalImage ComposingMusic "http://upload.wikimedia.org/wikipedia/commons/ 1/ 16/ Louis-Nicolas_Clerambault.jpg") | pictureList.kif 8431-8431 | |
| (subclass ComposingMusic ContentDevelopment) | Mid-level-ontology.kif 3313-3313 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComposingMusic "谱曲") | domainEnglishFormat.kif 16235-16235 | |
| (termFormat ChineseTraditionalLanguage ComposingMusic "譜曲") | domainEnglishFormat.kif 16234-16234 | |
| (termFormat EnglishLanguage ComposingMusic "composing music") | domainEnglishFormat.kif 16233-16233 |
| antecedent |
|
|
| (=> (instance ?C ComposingMusic) (exists (?M) (and (instance ?M MusicalComposition) (result ?C ?M)))) |
Mid-level-ontology.kif 3318-3323 |
| consequent |
|
|
| (=> (attribute ?PERSON Composer) (hasSkill ComposingMusic ?PERSON)) |
Music.kif 1384-1386 |
|
|
|