|
|
   SpecialOperation
|
|
|
| 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 | SpecialOperation は MilitaryOperation の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass DirectAction SpecialOperation) | MilitaryProcesses.kif 324-324 | DirectAction は SpecialOperation の subclass では %n |
| (subclass SpecialReconnaissance SpecialOperation) | MilitaryProcesses.kif 18-18 | SpecialReconnaissance は SpecialOperation の subclass では %n |
| (subclass UnconventionalWarfare SpecialOperation) | MilitaryProcesses.kif 131-131 | UnconventionalWarfare は SpecialOperation の subclass では %n |
| (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 |
|
|
|