Sigma KB Term Intersection

(=> (and (holdsDuring ?T1 (publishes ?AGENT ?COMPCLASS)) (subclass ?COMPCLASS MusicalComposition)) (holdsDuring ?T1 (attribute ?AGENT MusicPublishers)))	Media.kif 1888-1892	Wenn entity veroeffentlicht Class haelt waehrend TimePosition %n{nicht} und Class ist eine teilkategorie von MusicalComposition, dann MusicPublishers ist ein attribut von entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(subclass MusicalComposition Music)	Mid-level-ontology.kif 13747-13747	MusicalComposition ist eine teilkategorie von Music