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	SpecialOperationsForces は MilitaryOrganization の subclass では %n

appearance as argument number 2

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

antecedent

(=> (and (instance ?JOINT JointForces) (subOrganization ?FORCE1 ?JOINT) (instance ?FORCE1 SpecialOperationsForces)) (leaderPosition ?FORCE1 JointForcesSpecialOperationsCommander))	MilitaryPersons.kif 446-451	組織は JointForces の instance では %n 組織は組織組織の一部では %n 組織は SpecialOperationsForces の instance では %n leaderPosition 組織 and JointForcesSpecialOperationsCommander
(=> (instance ?FORCES SpecialOperationsForces) (exists (?DESIGNATING ?HUMAN) (and (instance ?DESIGNATING Designating) (agent ?DESIGNATING ?HUMAN) (attribute ?HUMAN SecretaryOfDefense) (patient ?DESIGNATING ?FORCES))))	MilitaryProcesses.kif 309-316	エンティティーは SpecialOperationsForces の instance では %n 工程 AutonomousAgent 工程は Designating の instance では %n AutonomousAgent は工程の agent では %n SecretaryOfDefense は AutonomousAgent の attribute では %n エンティティーは工程の patient では %n

consequent

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

MilitaryProcesses.kif 290-297