Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 695-695 Reconnaissance operation is a subclass of military operation
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 696-696 Reconnaissance operation is a subclass of investigating
(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 697-701 Reconnaissance operation is a subclass of investigating
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ U-2_photo_during_Cuban_Missile_Crisis.jpg") pictureList.kif 8677-8677 Reconnaissance operation is a subclass of investigating
(externalImage ReconnaissanceOperation "http://upload.wikimedia.org/wikipedia/ commons/ e/ e9/ Photo_interpretation.jpg") pictureList.kif 9582-9582 Reconnaissance operation is a subclass of investigating

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


(subclass SpecialReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 19-19 Special reconnaissance is a subclass of reconnaissance operation
(subclass ReconnaissanceByFire ReconnaissanceOperation) MilitaryProcesses.kif 728-728 Reconnaissance by fire is a subclass of reconnaissance operation
(subclass ReconnaissanceInForce ReconnaissanceOperation) MilitaryProcesses.kif 747-747 Reconnaissance in force is a subclass of reconnaissance operation
(subclass AirReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 752-752 Air reconnaissance is a subclass of reconnaissance operation
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 787-787 Amphibious reconnaissance is a subclass of reconnaissance operation
(subclass ContactReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 842-842 Contact reconnaissance is a subclass of reconnaissance operation
(subclass RadarReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 846-846 Radar reconnaissance is a subclass of reconnaissance operation
(subclass Patrol ReconnaissanceOperation) MilitaryProcesses.kif 860-860 Patrol is a subclass of reconnaissance operation
(subclass ElectronicReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 866-866 Electronic reconnaissance is a subclass of reconnaissance operation
(termFormat EnglishLanguage ReconnaissanceOperation "reconnaissance operation") MilitaryProcesses.kif 2961-2961 Electronic reconnaissance is a subclass of reconnaissance operation

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


(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (containsFormula ?SR ?FORM))
    (hasPurpose ?SR
        (knows ?AGENT ?FORM)))		 MilitaryProcesses.kif 706-712 If X is an instance of reconnaissance operation, Y is an agent of X, and X contains the formula Z, then X has the purpose Y knows Z
(=>
    (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 716-726 If X is an instance of reconnaissance operation and Y is an agent of X, then X does not have the purpose there don't exist Z, W such that Z is an instance of attack, Y is an agent of Z, and W is a patient of Z

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


(=>
    (instance ?M MilitaryScreeningTactic)
    (exists (?R)
        (and
            (instance ?R ReconnaissanceOperation)
            (subProcess ?R ?M))))		 Military.kif 433-438 If X is an instance of military screening tactic, then there exists Y such that Y is an instance of reconnaissance operation and Y is a subprocess of X
(=>
    (instance ?LAR LARUnit)
    (capability ReconnaissanceOperation agent ?LAR))		 MilitaryPersons.kif 537-539 If X is an instance of LAR unit, then X is capable of doing reconnaissance operation as a agent
(=>
    (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 2216-2226 If X is an instance of counter reconnaissance, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of reconnaissance operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners