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 21088-21100	ArtCritic はオブジェクトの attribute では %n オブジェクトはエンティティーエンティティー and エンティティーエンティティーは芸術作品の instance では %n オブジェクトの time の existence はエンティティーの time の existence と overlaps %n{dない} エンティティーはエンティティーの instance では %n エンティティーは記事の subclass では %n オブジェクトはエンティティーの author では %n エンティティーはエンティティーへの reference を includes %n{ない} の目的 %n{ない}
(subclass Article Text)	Mid-level-ontology.kif 14676-14676	記事はテキストの subclass では %n
(subclass Chapter Article)	Mid-level-ontology.kif 14692-14692	Chapter は記事の subclass では %n
(subclass Report Article)	Mid-level-ontology.kif 14771-14771	Report は記事の subclass では %n
(subclass ShortStory Article)	Mid-level-ontology.kif 14929-14929	ShortStory は記事の subclass では %n