Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14606-14613	如果有点系列是新闻节目的 subclass 和实体是系列有点系列的第?NUMBER卷的 instance，然后有存在过程这样那个过程是传播的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	传播是沟通的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1218-1218	传播产品是传播的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15786-15786	广播是传播的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13072-13072	示范是传播的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13096-13096	广告是传播的 subclass