|
|
   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 | CounterTerrorismStrategy is a subclass of OperationPlan |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CounterTerrorismStrategy "反恐战略") | domainEnglishFormat.kif 17582-17582 | |
| (termFormat ChineseTraditionalLanguage CounterTerrorismStrategy "反恐戰略") | domainEnglishFormat.kif 17581-17581 | |
| (termFormat EnglishLanguage CounterTerrorismStrategy "counter terrorism strategy") | domainEnglishFormat.kif 17580-17580 | |
| (termFormat EnglishLanguage CounterTerrorismStrategy "counter-terrorism strategy") | MilitaryProcesses.kif 2996-2996 |
| antecedent |
|
|
| (=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism)))) |
MilitaryProcesses.kif 2082-2090 |
|
|
|
|