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 ReconnaissanceOperation 是 军事行动 的 subclass
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation 是 调查 的 subclass
(subclass SpecialReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 19-19 特别侦察 是 ReconnaissanceOperation 的 subclass
(subclass ReconnaissanceByFire ReconnaissanceOperation) MilitaryProcesses.kif 706-706 ReconnaissanceByFire 是 ReconnaissanceOperation 的 subclass
(subclass ReconnaissanceInForce ReconnaissanceOperation) MilitaryProcesses.kif 725-725 ReconnaissanceInForce 是 ReconnaissanceOperation 的 subclass
(subclass AirReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 730-730 空中侦察 是 ReconnaissanceOperation 的 subclass
(subclass AmphibiousReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 765-765 两栖侦察 是 ReconnaissanceOperation 的 subclass
(subclass ContactReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 820-820 联系侦察 是 ReconnaissanceOperation 的 subclass
(subclass RadarReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 824-824 雷达侦察 是 ReconnaissanceOperation 的 subclass
(subclass Patrol ReconnaissanceOperation) MilitaryProcesses.kif 838-838 巡逻 是 ReconnaissanceOperation 的 subclass
(subclass ElectronicReconnaissance ReconnaissanceOperation) MilitaryProcesses.kif 844-844 电子侦察 是 ReconnaissanceOperation 的 subclass


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