TreeView Knowledge Base Browser - PoliceOrganization

appearance as argument number 1

(subclass PoliceOrganization GovernmentOrganization)	Merge.kif 17074-17074	Police organization is a subclass of government organization
(documentation PoliceOrganization EnglishLanguage "Any GovernmentOrganization that is charged with domestic enforcement of the laws of the Government.")	Merge.kif 17075-17076	Police organization is a subclass of government organization

appearance as argument number 2

(instance USCustomsAndBorderProtection PoliceOrganization)	Government.kif 4799-4799	US customs and border protection is an instance of police organization
(termFormat EnglishLanguage PoliceOrganization "police organization")	domainEnglishFormat.kif 46415-46415	US customs and border protection is an instance of police organization
(termFormat ChineseTraditionalLanguage PoliceOrganization "警察組織")	domainEnglishFormat.kif 46416-46416	US customs and border protection is an instance of police organization
(termFormat ChineseLanguage PoliceOrganization "警察组织")	domainEnglishFormat.kif 46417-46417	US customs and border protection is an instance of police organization

consequent

(=>
    (and
        (instance ?L LawEnforcement)
        (agent ?L ?P))
    (or
        (instance ?P PoliceOrganization)
        (exists (?O)
            (and
                (instance ?O PoliceOrganization)
                (member ?P ?O)))))

If X is an instance of law enforcement and Y is an agent of X, then Y is an instance of police organization or there exists Z such that Z is an instance of police organization and Y is a member of Z