Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReconnaissanceOperation
ReconnaissanceOperation(reconnaissance operation)
recce, recco, reccy, reconnaissance, reconnaissance_mission

appearance as argument number 1
-------------------------


(documentation ReconnaissanceOperation EnglishLanguage "A mission undertaken to obtain, by visual observation or other detection methods, information about the activities and resources of an enemy or potential enemy, or to secure data concerning the meteorological, hydrographic, or geographic characteristics of a particular area. Also called RECON.") MilitaryProcesses.kif 675-679
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ U-2_photo_during_Cuban_Missile_Crisis.jpg") pictureList.kif 8683-8683
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ e/ e9/ Photo_interpretation.jpg") pictureList.kif 9601-9601
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 Reconnaissance operation is a subclass of investigating
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 Reconnaissance operation is a subclass of military operation

appearance as argument number 2
-------------------------


(subclass AirReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 730-730 Air reconnaissance is a subclass of reconnaissance operation
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 765-765 Amphibious reconnaissance is a subclass of reconnaissance operation
(subclass ContactReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 820-820 Contact reconnaissance is a subclass of reconnaissance operation
(subclass ElectronicReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 844-844 Electronic reconnaissance is a subclass of reconnaissance operation
(subclass Patrol ReconnaissanceOperation) MilitaryProcesses.kif 838-838 Patrol is a subclass of reconnaissance operation
(subclass RadarReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 824-824 Radar reconnaissance is a subclass of reconnaissance operation
(subclass ReconnaissanceByFire ReconnaissanceOperation) MilitaryProcesses.kif 706-706 Reconnaissance by fire is a subclass of reconnaissance operation
(subclass ReconnaissanceInForce ReconnaissanceOperation) MilitaryProcesses.kif 725-725 Reconnaissance in force is a subclass of reconnaissance operation
(subclass SpecialReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 19-19 Special reconnaissance is a subclass of reconnaissance operation
(termFormat EnglishLanguage ReconnaissanceOperation "reconnaissance operation") MilitaryProcesses.kif 2703-2703

antecedent
-------------------------


(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (instance ?PROP Proposition))
    (hasPurpose ?SR
        (knows ?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT))
    (not
        (hasPurpose ?SR
            (exists (?ATTACK ?HOSTILE)
                (and
                    (instance ?ATTACK Attack)
                    (agent ?ATTACK ?AGENT)
                    (patient ?ATTACK ?HOSTILE))))))
MilitaryProcesses.kif 694-704

consequent
-------------------------


(=>
    (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 2174-2184
(=>
    (instance ?LAR LARUnit)
    (capability ReconnaissanceOperation agent ?LAR))
MilitaryPersons.kif 520-522


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