Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12036-12048	Processo e' uma instancia de Deciding Processo e' um agente de Agente Cognitivo Conjunto e' uma instancia de Conjunto Conjunto e' um patient de Processo Entidade e' um elemento de Conjunto Agente Cognitivo acredita que Entidade Entidade e' uma instancia de Entidade Entidade e' uma sub-classe de Processo Intencional Agente Cognitivo e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12028-12028	Deciding e' uma sub-classe de Selecionar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16053-16053	Resolution e' uma sub-classe de Deciding
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16274-16274	GameCall e' uma sub-classe de Deciding