Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2174-2184	例 Physical and 反操作有目的 Physical and entity entity, entity and entity agent Physical and entity enemy entity and entity 子類 entity and 軍事行動例 entity and entity agent entity and entity 防止 Physical and entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2168-2168	子類反操作 and 軍事行動
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1459-1459	子類反擴散 and 反操作
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1996-1996	子類反恐 and 反操作
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2186-2186	子類反偵察 and 反操作