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

appearance as argument number 2

(termFormat ChineseLanguage SpecialOperationsForces "特种作战部队")	domainEnglishFormat.kif 54550-54550
(termFormat ChineseTraditionalLanguage SpecialOperationsForces "特種作戰部隊")	domainEnglishFormat.kif 54549-54549
(termFormat EnglishLanguage SpecialOperationsForces "special operations force")	MilitaryProcesses.kif 2904-2904
(termFormat EnglishLanguage SpecialOperationsForces "special operations forces")	domainEnglishFormat.kif 54548-54548

antecedent

(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 457-462
(=> (instance ?FORCES SpecialOperationsForces) (exists (?DESIGNATING ?HUMAN) (and (instance ?DESIGNATING Designating) (agent ?DESIGNATING ?HUMAN) (attribute ?HUMAN SecretaryOfDefense) (patient ?DESIGNATING ?FORCES))))	MilitaryProcesses.kif 309-316

consequent

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

MilitaryProcesses.kif 290-297