SpecialOperationsForces
|
|
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 |
|
(=> (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 |
|