Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	Fisico e' uma instancia de CounterTerrorism 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 Terrorism 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 1996-1996	CounterTerrorism e' uma sub-classe de CounterOperation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2044-2044	CTIntelligenceOperation e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2052-2052	CTNwInfraAttack e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2060-2060	CTHostageMaterielRecovery e' uma sub-classe de CounterTerrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2069-2069	CTNonKineticActivity e' uma sub-classe de CounterTerrorism