Sigma KB Term Intersection

(=> (attribute ?H ArtCritic) (hasPurpose ?H (exists (?AW ?T ?CLASS) (and (instance ?AW ArtWork) (overlapsTemporally (WhenFn ?AW) (WhenFn ?H)) (instance ?T ?CLASS) (subclass ?CLASS Article) (authors ?H ?CLASS) (refers ?T ?AW)))))	Mid-level-ontology.kif 21089-21101	Wenn ArtCritic ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um entity ist ein fall von ArtWork %n{nicht} und die zeit des Bestehens von Object deckt sich mit die zeit des Bestehens von entity %n{nicht} und entity ist ein fall von entity %n{nicht} und entity ist eine teilkategorie von Article und Object ist der schreiber von entity und entity umfasst einen hinweis auf entity %n{nicht}
(subclass Article Text)	Mid-level-ontology.kif 14677-14677	Article ist eine teilkategorie von Text
(subclass Chapter Article)	Mid-level-ontology.kif 14693-14693	Chapter ist eine teilkategorie von Article
(subclass Report Article)	Mid-level-ontology.kif 14772-14772	Report ist eine teilkategorie von Article
(subclass ShortStory Article)	Mid-level-ontology.kif 14930-14930	ShortStory ist eine teilkategorie von Article