(=> (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 13774-13774 | MusicalComposition は 音楽 の subclass では %n |