SpecialOperation(special operation) |
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 54542-54542 | |
(termFormat ChineseTraditionalLanguage SpecialOperation "特別行動") | domainEnglishFormat.kif 54541-54541 | |
(termFormat EnglishLanguage SpecialOperation "special operation") | domainEnglishFormat.kif 54540-54540 |
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 |
|