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.	Mid-level-ontology.kif 14677-14677	文章是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14693-14693	章节是文章的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14772-14772	报告是文章的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14930-14930	短篇故事是文章的 subclass