Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14606-14613	If a kind of series is a subclass of newsprogram and an entity is an instance of volume a positive integer in the series a kind of series, then there exists a process such that the process is an instance of disseminating and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	Disseminating is a subclass of communication
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1218-1218	Disseminate products is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15786-15786	Broadcasting is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13072-13072	Demonstrating is a subclass of disseminating
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13096-13096	Advertising is a subclass of disseminating