Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1315-1317	diseaseMedicine Doenca ou Sindrome, TopicalAntibiotic and Processo Processo e' uma sub-classe de Cobrir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29718-29727	Fisico e' uma sub-classe de CoveringFn Parte do Corpo Fisico tem por fim Entidade Parte do CorpoI and FisicoI Entidade e' uma instancia de Cobrir Parte do CorpoI e' uma instancia de Parte do Corpo FisicoI e' uma instancia de Fisico Entidade termina em Parte do CorpoI FisicoI e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11436-11436	Cobrir e' uma sub-classe de Colocar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3182-3182	Painting e' uma sub-classe de Cobrir
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12442-12442	TopicalApplication e' uma sub-classe de Cobrir