CoastGuard - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CoastGuard GovernmentOrganization)	Mid-level-ontology.kif 9702-9702	Coast guard is a subclass of government organization
(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 9703-9705	Coast guard is a subclass of government organization
(externalImage CoastGuard "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ Police_Coast_Guard_PT.jpg")	pictureList.kif 5918-5918	Coast guard is a subclass of government organization
(externalImage CoastGuard "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Coast_guard_MS_Bredstedt.jpg")	pictureList.kif 6279-6279	Coast guard is a subclass of government organization

appearance as argument number 2

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

antecedent

(=>
    (and
        (instance ?JOINT JointForces)
        (subOrganization ?FORCE1 ?JOINT)
        (instance ?FORCE1 CoastGuard))
    (leaderPosition ?FORCE1 JointForcesMaritimeCommander))

If X is an instance of joint forces, Y is a part of the organization X, and Y is an instance of coast guard, then joint forces maritime commander is a leader position of Y