| 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 |
|
|
|