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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?CO CounterOperation)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS MilitaryOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))
MilitaryProcesses.kif 2174-2184
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1105-1105
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1521-1521
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1850-1850
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2168-2168
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2362-2362
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80


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