CounterTerrorismStrategy
|
|
appearance as argument number 1 |
(documentation CounterTerrorismStrategy EnglishLanguage "WN: a strategy intended to prevent or counter terrorism.") | MilitaryProcesses.kif 2077-2078 | |
(subclass CounterTerrorismStrategy OperationPlan) | MilitaryProcesses.kif 2076-2076 |
appearance as argument number 2 |
(termFormat ChineseLanguage CounterTerrorismStrategy "反恐战略") | domainEnglishFormat.kif 17574-17574 | |
(termFormat ChineseTraditionalLanguage CounterTerrorismStrategy "反恐戰略") | domainEnglishFormat.kif 17573-17573 | |
(termFormat EnglishLanguage CounterTerrorismStrategy "counter terrorism strategy") | domainEnglishFormat.kif 17572-17572 | |
(termFormat EnglishLanguage CounterTerrorismStrategy "counter-terrorism strategy") | MilitaryProcesses.kif 2823-2823 |
antecedent |
(=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism)))) |
MilitaryProcesses.kif 2082-2090 |