CounterTerrorism - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1997-2028
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1996-1996	子類反恐 and 反操作

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2060-2060	子類 CT人質物資恢復 and 反恐
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2044-2044	子類 CT智能手術 and 反恐
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2069-2069	子類 CT非動力活動 and 反恐
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2052-2052	子類 CT沒有紅外線攻擊 and 反恐
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17568-17568
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17567-17567
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17566-17566
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2818-2818

antecedent

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 2032-2042

consequent

No TPTP formula. May not be expressible in strict first order.

MilitaryProcesses.kif 2082-2090