Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	If a physical is an instance of counter terrorism, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of terrorism and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1996-1996	Counter terrorism is a subclass of counter operation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2044-2044	CT intelligence operation is a subclass of counter terrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2052-2052	CT nw infra attack is a subclass of counter terrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2060-2060	CT hostage materiel recovery is a subclass of counter terrorism
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2069-2069	CT non kinetic activity is a subclass of counter terrorism