TreeView Knowledge Base Browser - SpecialOperationsForces

appearance as argument number 1

(subclass SpecialOperationsForces MilitaryOrganization)	MilitaryProcesses.kif 299-299	Special operations forces is a subclass of military organization
(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	Special operations forces is a subclass of military organization

appearance as argument number 2

(termFormat EnglishLanguage SpecialOperationsForces "special operations force")	MilitaryProcesses.kif 2945-2945
(termFormat EnglishLanguage SpecialOperationsForces "special operations forces")	domainEnglishFormat.kif 54541-54541
(termFormat ChineseTraditionalLanguage SpecialOperationsForces "特種作戰部隊")	domainEnglishFormat.kif 54542-54542
(termFormat ChineseLanguage SpecialOperationsForces "特种作战部队")	domainEnglishFormat.kif 54543-54543

antecedent

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

consequent

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

If X is an instance of special operation, then there exist Y, Z such that Y is an instance of guiding, X is a patient of Y, Z is an agent of Y, and Z is an instance of special operations forces