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.	Merge.kif 15839-15839	Art work is a subclass of artifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3096-3096	Painted picture is a subclass of art work
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3121-3121	Wallpaper is a subclass of art work
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3143-3143	Sculpture is a subclass of art work
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3157-3157	Sketch is a subclass of art work
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3161-3161	Collage is a subclass of art work
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15867-15867	Representational art work is a subclass of art work