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 特种作战部队军事组织subclass

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


(termFormat ChineseLanguage SpecialOperationsForces "特种作战部队") domainEnglishFormat.kif 54525-54525
(termFormat ChineseTraditionalLanguage SpecialOperationsForces "特種作戰部隊") domainEnglishFormat.kif 54524-54524
(termFormat EnglishLanguage SpecialOperationsForces "special operations force") MilitaryProcesses.kif 2706-2706
(termFormat EnglishLanguage SpecialOperationsForces "special operations forces") domainEnglishFormat.kif 54523-54523

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