Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2032-2042	如果物理是反恐的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是那个物理的 agent 和 enemy 那个实体 and 那个另外实体和那个第四实体是恐怖主义的 subclass 和那个第三实体是那个第四实体的 instance 和那个另外实体是那个第三实体的 agent 和那个物理 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1996-1996	反恐是反操作的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2044-2044	CT智能手术是反恐的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2052-2052	CT没有红外线攻击是反恐的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2060-2060	CT人质物资恢复是反恐的 subclass
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2069-2069	CT非动力活动是反恐的 subclass