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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReconnaissanceOperation

Sigma KEE - ReconnaissanceOperation
ReconnaissanceOperation

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 8678-8678
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ e/ e9/ Photo_interpretation.jpg") pictureList.kif 9583-9583
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation调查subclass
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 ReconnaissanceOperation军事行动subclass

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


(subclass AirReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 730-730 空中侦察ReconnaissanceOperationsubclass
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 765-765 两栖侦察ReconnaissanceOperationsubclass
(subclass ContactReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 820-820 联系侦察ReconnaissanceOperationsubclass
(subclass ElectronicReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 844-844 电子侦察ReconnaissanceOperationsubclass
(subclass Patrol ReconnaissanceOperation) MilitaryProcesses.kif 838-838 巡逻ReconnaissanceOperationsubclass
(subclass RadarReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 824-824 雷达侦察ReconnaissanceOperationsubclass
(subclass ReconnaissanceByFire ReconnaissanceOperation) MilitaryProcesses.kif 706-706 ReconnaissanceByFireReconnaissanceOperationsubclass
(subclass ReconnaissanceInForce ReconnaissanceOperation) MilitaryProcesses.kif 725-725 ReconnaissanceInForceReconnaissanceOperationsubclass
(subclass SpecialReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 19-19 特别侦察ReconnaissanceOperationsubclass
(termFormat EnglishLanguage ReconnaissanceOperation "reconnaissance operation") MilitaryProcesses.kif 2747-2747

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
-------------------------


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


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

Show without tree


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