CounterReconnaissance(counter reconnaissance) |
appearance as argument number 1 |
(documentation CounterReconnaissance EnglishLanguage "All measures taken to prevent hostile observation of a force, area, or place.") | MilitaryProcesses.kif 2187-2188 | |
(subclass CounterReconnaissance CounterOperation) | MilitaryProcesses.kif 2186-2186 | Counter reconnaissance is a subclass of counter operation |
appearance as argument number 2 |
(termFormat ChineseLanguage CounterReconnaissance "反侦察") | domainEnglishFormat.kif 17562-17562 | |
(termFormat ChineseTraditionalLanguage CounterReconnaissance "反偵察") | domainEnglishFormat.kif 17561-17561 | |
(termFormat EnglishLanguage CounterReconnaissance "counter reconnaissance") | domainEnglishFormat.kif 17560-17560 | |
(termFormat EnglishLanguage CounterReconnaissance "counter-reconnaissance") | MilitaryProcesses.kif 2828-2828 |
antecedent |
(=> (instance ?CO CounterReconnaissance) (hasPurpose ?CO (exists (?AGENT ?ENEMY ?OP ?CLASS) (and (agent ?CO ?AGENT) (enemy ?AGENT ?ENEMY) (subclass ?CLASS ReconnaissanceOperation) (instance ?OP ?CLASS) (agent ?OP ?ENEMY) (prevents ?CO ?CLASS))))) |
MilitaryProcesses.kif 2193-2203 |
|
consequent |
(=> (instance ?LAR LARUnit) (capability CounterReconnaissance agent ?LAR)) |
MilitaryPersons.kif 526-528 |
|