Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21089-21101	If art critic is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of art work and the time of existence of the object overlaps the time of existence of the entity and the other entity is an instance of the third entity and the third entity is a subclass of article and the object is the author of the third entity and the other entity includes a reference to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14677-14677	Article is a subclass of text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14693-14693	Chapter is a subclass of article
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14772-14772	Report is a subclass of article
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14930-14930	Short story is a subclass of article