Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21089-21101	如果艺术评论家是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是艺术品的 instance 和那个客体出现的 time 时段和那个实体出现的 time 重叠和那个另外实体是那个第三实体的 instance 和那个第三实体是文章的 subclass 和那个客体是那个第三实体的 authors 和那个另外实体提到那个实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15839-15839	艺术品是人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3096-3096	画的图片是艺术品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3121-3121	墙纸是艺术品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3143-3143	雕塑是艺术品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3157-3157	草图是艺术品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3161-3161	大学是艺术品的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15867-15867	代表性的艺术作品是艺术品的 subclass