| CounterOperation(counter operation)
| | counterinsurgent, counterrevolutionary |
| appearance as argument number 1 |
|
|
| (documentation CounterOperation EnglishLanguage "All measures to prevent operations from the enemy.") | MilitaryProcesses.kif 2169-2170 | |
| (externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hms_arethusa_map.png") | pictureList.kif 9130-9130 | |
| (externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ FAC.jpg") | pictureList.kif 9129-9129 | |
| (subclass CounterOperation MilitaryOperation) | MilitaryProcesses.kif 2168-2168 | Counter operation is a subclass of military operation |
| appearance as argument number 2 |
|
|
| (subclass CounterReconnaissance CounterOperation) | MilitaryProcesses.kif 2186-2186 | Counter reconnaissance is a subclass of counter operation |
| (subclass CounterTerrorism CounterOperation) | MilitaryProcesses.kif 1996-1996 | Counter terrorism is a subclass of counter operation |
| (subclass CounterproliferationWMD CounterOperation) | MilitaryProcesses.kif 1459-1459 | CounterproliferationWM d is a subclass of counter operation |
| (termFormat ChineseLanguage CounterOperation "反操作") | domainEnglishFormat.kif 17566-17566 | CounterproliferationWM d is a subclass of counter operation |
| (termFormat ChineseTraditionalLanguage CounterOperation "反操作") | domainEnglishFormat.kif 17565-17565 | CounterproliferationWM d is a subclass of counter operation |
| (termFormat EnglishLanguage CounterOperation "counter operation") | domainEnglishFormat.kif 17564-17564 | CounterproliferationWM d is a subclass of counter operation |
| antecedent |
|
|
| (=> (instance ?CO CounterOperation) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS MilitaryOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2174-2184 |
|
|
|
|