Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpecialOperationsForces
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 SpecialOperationsForcesMilitaryOrganizationsubclass では %n

appearance as argument number 2
-------------------------


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

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners