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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CoastGuard
CoastGuard

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


(documentation CoastGuard EnglishLanguage "CoastGuard is the subclass of GovernmentOrganizations that enforce the maritime laws of a Nation and guard its Seacoast. This may be a military or quasi-military organization.") Mid-level-ontology.kif 8343-8345
(externalImage CoastGuard "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Police_Coast_Guard_PT.jpg") pictureList.kif 5919-5919
(externalImage CoastGuard "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Coast_guard_MS_Bredstedt.jpg") pictureList.kif 6280-6280
(subclass CoastGuard GovernmentOrganization) Mid-level-ontology.kif 8342-8342

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


(termFormat ChineseLanguage CoastGuard "海岸警卫队") domainEnglishFormat.kif 15390-15390
(termFormat ChineseTraditionalLanguage CoastGuard "海岸警衛隊") domainEnglishFormat.kif 15389-15389
(termFormat EnglishLanguage CoastGuard "Coast Guard") Military.kif 804-804
(termFormat EnglishLanguage CoastGuard "coast guard") domainEnglishFormat.kif 15388-15388

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


(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))
MilitaryPersons.kif 425-430


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