Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15431-15440	如果内容承载物理是有点有内用物体的 instance 和有点有内用物体是虚构的文字的 subclass 和有认知的主事是那个有点有内用物体的 authors，然后有存在公式这样那个内容承载物理包含那个公式的内容和那个公式是公式的 instance 和那个有认知的主事 doesn't believes 那个公式
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15409-15409	虚构的文字是文本的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14929-14929	短篇故事是虚构的文字的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14934-14934	神秘的故事是虚构的文字的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14945-14945	小说是虚构的文字的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14950-14950	戏剧性的表演是虚构的文字的 subclass