(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers))) |
Media.kif 1888-1892 | |
(subclass MusicalComposition Music) | Mid-level-ontology.kif 13746-13746 | 音乐作品 是 音乐 的 subclass |