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 9129-9129 | |
(externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ FAC.jpg") | pictureList.kif 9128-9128 | |
(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 17561-17561 | CounterproliferationWM d is a subclass of counter operation |
(termFormat ChineseTraditionalLanguage CounterOperation "反操作") | domainEnglishFormat.kif 17560-17560 | CounterproliferationWM d is a subclass of counter operation |
(termFormat EnglishLanguage CounterOperation "counter operation") | domainEnglishFormat.kif 17559-17559 | 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 |
|