CounterOperation
|
|
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 |
appearance as argument number 2 |
(subclass CounterReconnaissance CounterOperation) | MilitaryProcesses.kif 2186-2186 | |
(subclass CounterTerrorism CounterOperation) | MilitaryProcesses.kif 1996-1996 | |
(subclass CounterproliferationWMD CounterOperation) | MilitaryProcesses.kif 1459-1459 | |
(termFormat ChineseLanguage CounterOperation "反操作") | domainEnglishFormat.kif 17550-17550 | |
(termFormat ChineseTraditionalLanguage CounterOperation "反操作") | domainEnglishFormat.kif 17549-17549 | |
(termFormat EnglishLanguage CounterOperation "counter operation") | domainEnglishFormat.kif 17548-17548 |
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 |