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


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