CounterReconnaissance |
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage CounterReconnaissance "反侦察") | domainEnglishFormat.kif 17573-17573 | |
(termFormat ChineseTraditionalLanguage CounterReconnaissance "反偵察") | domainEnglishFormat.kif 17572-17572 | |
(termFormat EnglishLanguage CounterReconnaissance "counter reconnaissance") | domainEnglishFormat.kif 17571-17571 | |
(termFormat EnglishLanguage CounterReconnaissance "counter-reconnaissance") | MilitaryProcesses.kif 3018-3018 |
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 |