located
|
|
appearance as argument number 1 |
(documentation ComposingMusic EnglishLanguage "ComposingMusic is a type of ContentDevelopment that results in a MusicalComposition") | Mid-level-ontology.kif 3321-3322 | |
(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 3320-3320 | ComposingMusic è una sottoclasse di SviluppoDelContenuto |
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 3325-3330 |
|
consequent |
(=> (attribute ?PERSON Composer) (hasSkill ComposingMusic ?PERSON)) |
Music.kif 1384-1386 |
|