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
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 特别行动 是 军事行动 的 subclass
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 直接行动活动 是 军事行动 的 subclass
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 军事攻击 是 军事行动 的 subclass
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 ReconnaissanceOperation 是 军事行动 的 subclass
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1105-1105 心理操作 是 军事行动 的 subclass
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1521-1521 运营计划 是 军事行动 的 subclass
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716 联合行动 是 军事行动 的 subclass
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1850-1850 信息操作 是 军事行动 的 subclass
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905 外国内部防御 是 军事行动 的 subclass
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2168-2168 反操作 是 军事行动 的 subclass
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2362-2362 民政活动 是 军事行动 的 subclass
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 食品配送业务 是 军事行动 的 subclass
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 安全行动 是 军事行动 的 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