Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Biography.kif 730-740	如果作家是施事体的 attribute 和实体是有点有内用物体的 instance 和有点有内用物体是文本的 subclass 或那个有点有内用物体是 Document 的 subclass 和过程是写作的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 result，然后那个施事体是那个有点有内用物体的 authors
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12719-12719	写作是内容制作的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12725-12725	编码是写作的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12731-12731	解码是写作的 subclass