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 8432-8432 | |
(subclass ComposingMusic ContentDevelopment) | Mid-level-ontology.kif 3313-3313 | ComposingMusic ist eine teilkategorie von ContentDevelopment |
appearance as argument number 2 |
(termFormat ChineseLanguage ComposingMusic "谱曲") | domainEnglishFormat.kif 16224-16224 | |
(termFormat ChineseTraditionalLanguage ComposingMusic "譜曲") | domainEnglishFormat.kif 16223-16223 | |
(termFormat EnglishLanguage ComposingMusic "composing music") | domainEnglishFormat.kif 16222-16222 |
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 |
|