| CounterTerrorismStrategy | |
| appearance as argument number 1 |
|
|
| (documentation CounterTerrorismStrategy EnglishLanguage "WN: a strategy intended to prevent or counter terrorism.") | MilitaryProcesses.kif 2078-2079 | |
| (subclass CounterTerrorismStrategy OperationPlan) | MilitaryProcesses.kif 2077-2077 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CounterTerrorismStrategy "反恐战略") | domainEnglishFormat.kif 17565-17565 | |
| (termFormat ChineseTraditionalLanguage CounterTerrorismStrategy "反恐戰略") | domainEnglishFormat.kif 17564-17564 | |
| (termFormat EnglishLanguage CounterTerrorismStrategy "counter terrorism strategy") | domainEnglishFormat.kif 17563-17563 | |
| (termFormat EnglishLanguage CounterTerrorismStrategy "counter-terrorism strategy") | MilitaryProcesses.kif 2798-2798 |
| antecedent |
|
|
| (=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism)))) |
MilitaryProcesses.kif 2083-2091 |
|
|
|