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 Military operation is a subclass of military process
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 Special operation is a subclass of military operation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 Direct action activity is a subclass of military operation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 Military assault is a subclass of military operation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 Reconnaissance operation is a subclass of military operation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1105-1105 Psychological operation is a subclass of military operation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1521-1521 Operation planning is a subclass of military operation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716 Joint operation is a subclass of military operation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1850-1850 Information operation is a subclass of military operation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905 Foreign internal defense is a subclass of military operation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2168-2168 Counter operation is a subclass of military operation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2362-2362 Civil affairs activity is a subclass of military operation
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 Food distribution operation is a subclass of military operation
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 Security operation is a subclass of military operation


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