|
|
   CounterOperation
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CounterOperation EnglishLanguage "All measures to prevent operations from the enemy.") | MilitaryProcesses.kif 2170-2171 | |
| (externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5b/ Hms_arethusa_map.png") | pictureList.kif 9131-9131 | |
| (externalImage CounterOperation "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ FAC.jpg") | pictureList.kif 9130-9130 | |
| (subclass CounterOperation MilitaryOperation) | MilitaryProcesses.kif 2169-2169 |
| 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 17541-17541 | |
| (termFormat ChineseTraditionalLanguage CounterOperation "反操作") | domainEnglishFormat.kif 17540-17540 | |
| (termFormat EnglishLanguage CounterOperation "counter operation") | domainEnglishFormat.kif 17539-17539 |
| antecedent |
|
|
| (=> (and (instance ?CO CounterOperation) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (hasPurpose ?CO (prevents ?CO ?OP))))) |
MilitaryProcesses.kif 2175-2184 |
|
|
|
