Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	Fisico e' uma instancia de CounterOperation Fisico tem por fim Entidade Entidade, Entidade and Entidade Fisico e' um agente de Entidade enemy Entidade and Entidade Entidade e' uma sub-classe de MilitaryOperation Entidade e' uma instancia de Entidade Entidade e' um agente de Entidade Fisico proibe a ocurrencia de Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2168-2168	CounterOperation e' uma sub-classe de MilitaryOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1459-1459	CounterproliferationWMD e' uma sub-classe de CounterOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1996-1996	CounterTerrorism e' uma sub-classe de CounterOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2186-2186	CounterReconnaissance e' uma sub-classe de CounterOperation