CounterReconnaissance - Sigma Knowledge base Browser

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 17578-17578
(termFormat ChineseTraditionalLanguage CounterReconnaissance "反偵察")	domainEnglishFormat.kif 17577-17577
(termFormat EnglishLanguage CounterReconnaissance "counter reconnaissance")	domainEnglishFormat.kif 17576-17576
(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

If a physical is an instance of counter reconnaissance,
then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an agent of the physical and the entity and the other entity are enemies of each other and the fourth entity is a subclass of reconnaissance operation and the third entity is an instance of the fourth entity and the other entity is an agent of the third entity and the physical prevents the occurrence of the fourth entity

consequent

(=>
(instance ?LAR LARUnit)
(capability CounterReconnaissance agent ?LAR))

MilitaryPersons.kif 526-528

If an object is an instance of LAR unit,
then the object is capable of doing counter reconnaissance as a agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: