![]() |
![]() ![]() ![]()
|
![]() |
|
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 17553-17553 | |
(termFormat ChineseTraditionalLanguage CounterReconnaissance "反偵察") | domainEnglishFormat.kif 17552-17552 | |
(termFormat EnglishLanguage CounterReconnaissance "counter reconnaissance") | domainEnglishFormat.kif 17551-17551 | |
(termFormat EnglishLanguage CounterReconnaissance "counter-reconnaissance") | MilitaryProcesses.kif 2803-2803 |
antecedent |
![]() |
(=> (and (instance ?CO CounterReconnaissance) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP ReconnaissanceOperation) (hasPurpose ?CO (prevents ?CO ?OP))))) |
MilitaryProcesses.kif 2193-2203 |
consequent |
![]() |
(=> (instance ?LAR LARUnit) (capability CounterReconnaissance agent ?LAR)) |
MilitaryPersons.kif 526-528 |
![]() |
![]() |