Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674
(subclass SpecialReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 19-19
(subclass ReconnaissanceByFire ReconnaissanceOperation) MilitaryProcesses.kif 706-706
(subclass ReconnaissanceInForce ReconnaissanceOperation) MilitaryProcesses.kif 725-725
(subclass AirReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 730-730
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 765-765
(subclass ContactReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 820-820
(subclass RadarReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 824-824
(subclass Patrol ReconnaissanceOperation) MilitaryProcesses.kif 838-838
(subclass ElectronicReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 844-844


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