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 MilitaryOperation est une sous-classe de processus militaire
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 SpecialOperation est une sous-classe de MilitaryOperation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 DirectActionActivity est une sous-classe de MilitaryOperation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 MilitaryAssault est une sous-classe de MilitaryOperation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 ReconnaissanceOperation est une sous-classe de MilitaryOperation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1105-1105 PsychologicalOperation est une sous-classe de MilitaryOperation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1521-1521 OperationPlanning est une sous-classe de MilitaryOperation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716 JointOperation est une sous-classe de MilitaryOperation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1850-1850 InformationOperation est une sous-classe de MilitaryOperation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905 ForeignInternalDefense est une sous-classe de MilitaryOperation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2168-2168 CounterOperation est une sous-classe de MilitaryOperation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2362-2362 CivilAffairsActivity est une sous-classe de MilitaryOperation
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 FoodDistributionOperation est une sous-classe de MilitaryOperation
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 SecurityOperation est une sous-classe de MilitaryOperation


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