Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpecialOperation
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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