SpecialOperation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SpecialOperation EnglishLanguage "Operations conducted in hostile, denied, or politically sensitive environments to achieve military, diplomatic, informational, and/ or economic objectives employing military capabilities for which there is no broad conventional force requirement. These operations often require covert, clandestine, or low visibility capabilities. Special operations are applicable across the range of military operations. They can be conducted independently or in conjunction with operations of conventional forces or other government agencies and may include operations through, with, or by indigenous or surrogate forces. Special operations differ from conventional operations in degree of physical and political risk, operational techniques, mode of employment, independence from friendly support, and dependence on detailed operational intelligence and indigenous assets. Also called SO.")	MilitaryProcesses.kif 273-286
(subclass SpecialOperation MilitaryOperation)	MilitaryProcesses.kif 272-272	Special operation is a subclass of military operation

appearance as argument number 2

(subclass DirectAction SpecialOperation)	MilitaryProcesses.kif 324-324	Direct action is a subclass of special operation
(subclass SpecialReconnaissance SpecialOperation)	MilitaryProcesses.kif 18-18	Special reconnaissance is a subclass of special operation
(subclass UnconventionalWarfare SpecialOperation)	MilitaryProcesses.kif 131-131	Unconventional warfare is a subclass of special operation
(termFormat ChineseLanguage SpecialOperation "特别行动")	domainEnglishFormat.kif 54580-54580	Unconventional warfare is a subclass of special operation
(termFormat ChineseTraditionalLanguage SpecialOperation "特別行動")	domainEnglishFormat.kif 54579-54579	Unconventional warfare is a subclass of special operation
(termFormat EnglishLanguage SpecialOperation "special operation")	domainEnglishFormat.kif 54578-54578	Unconventional warfare is a subclass of special operation

antecedent

(=>
    (instance ?OP SpecialOperation)
    (exists (?CONDUCTING ?SPFORCE)
        (and
            (instance ?CONDUCTING Guiding)
            (patient ?CONDUCTING ?OP)
            (agent ?CONDUCTING ?SPFORCE)
            (instance ?SPFORCE SpecialOperationsForces))))

MilitaryProcesses.kif 290-297

consequent

(=>
    (attribute ?P SEAL)
    (hasPurpose ?P
        (exists (?S)
            (and
                (instance ?S SpecialOperation)
                (agent ?S ?P)))))

MilitaryPersons.kif 796-802