Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14606-14613	Serie e' uma sub-classe de NewsProgram Entidade e' uma instancia de o volume Inteiro positivo na serie Serie Processo Processo e' uma instancia de Disseminar Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13056-13056	Disseminar e' uma sub-classe de Communicacao
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1218-1218	DisseminateProducts e' uma sub-classe de Disseminar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15786-15786	Broadcasting e' uma sub-classe de Disseminar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13072-13072	Demonstrating e' uma sub-classe de Disseminar
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13096-13096	Promover e' uma sub-classe de Disseminar