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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FleetMarineForce
FleetMarineForce(fleet marine force)

appearance as argument number 1
-------------------------


(documentation FleetMarineForce EnglishLanguage "The UnitedStates Fleet Marine Forces (FMF) are combined general- and special-purpose forces within the United States Department of the Navy-BranchOfService that perform offensive amphibious or expeditionary warfare and defensive maritime employment. The Fleet Marine Forces provide the National Command Authority (NCA) with a responsive force that can conduct operations in any spectrum of conflict around the globe.[from Wikipedia]") Medicine.kif 6058-6062
(subclass FleetMarineForce MilitaryOrganization) Medicine.kif 6057-6057 Fleet marine force is a subclass of military organization

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


(termFormat EnglishLanguage FleetMarineForce "fleet marine force") Medicine.kif 6063-6063

antecedent
-------------------------


(=>
    (instance ?FMF FleetMarineForce)
    (exists (?M)
        (and
            (instance ?M MarinesBranchOfService)
            (subOrganization ?FMF ?M))))
Medicine.kif 6065-6070


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