Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14606-14613	子類 Series and 新聞節目例 Entity and 系列卷 Series and PositiveInteger Process 例 Process and Disseminating 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	子類 Disseminating and Communication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1218-1218	子類傳播產品 and Disseminating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15786-15786	子類廣播 and Disseminating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13072-13072	子類示範 and Disseminating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13096-13096	子類 Advertising and Disseminating