SpecialOperationsForces - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SpecialOperationsForces EnglishLanguage "Those Active and Reserve Component forces of the Military Services designated by the Secretary of Defense and specifically organized, trained, and equipped to conduct and support special operations. Also called SOF. See also Air Force special operations forces, Army special operations forces, naval special warfare forces.")	MilitaryProcesses.kif 300-305
(subclass SpecialOperationsForces MilitaryOrganization)	MilitaryProcesses.kif 299-299	Special operations forces is a subclass of military organization

appearance as argument number 2

(termFormat ChineseLanguage SpecialOperationsForces "特种作战部队")	domainEnglishFormat.kif 54586-54586
(termFormat ChineseTraditionalLanguage SpecialOperationsForces "特種作戰部隊")	domainEnglishFormat.kif 54585-54585
(termFormat EnglishLanguage SpecialOperationsForces "special operations force")	MilitaryProcesses.kif 2921-2921
(termFormat EnglishLanguage SpecialOperationsForces "special operations forces")	domainEnglishFormat.kif 54584-54584

antecedent

(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 446-451	If an organization is an instance of joint forces and another organization is a part of the organization the organization and the other organization is an instance of special operations forces, then joint forces special operations commander is a leader position of the other organization
(=> (instance ?FORCES SpecialOperationsForces) (exists (?DESIGNATING ?HUMAN) (and (instance ?DESIGNATING Designating) (agent ?DESIGNATING ?HUMAN) (attribute ?HUMAN SecretaryOfDefense) (patient ?DESIGNATING ?FORCES))))	MilitaryProcesses.kif 309-316	If an entity is an instance of special operations forces, then there exist a process and an agent such that the process is an instance of designating and the agent is an agent of the process and secretary of defense is an attribute of the agent and the entity is a patient of the process

consequent

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

MilitaryProcesses.kif 290-297