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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PoliceOrganization

Sigma KEE - PoliceOrganization
PoliceOrganization(police organization)European_Law_Enforcement_Organisation, Europol, Interpol, Mutawa, Mutawa'een, SS, SWAT_squad, SWAT_team, Schutzstaffel, Special_Weapons_and_Tactics_squad, Special_Weapons_and_Tactics_team, constabulary, law, law_enforcement_agency, police, police_department, police_force, posse, posse_comitatus

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


(documentation PoliceOrganization ChineseLanguage "这是任何一个 Government 国内执法的 GovernmentOrganization。") chinese_format.kif 3742-3743
(documentation PoliceOrganization EnglishLanguage "Any GovernmentOrganization that is charged with domestic enforcement of the laws of the Government.") Merge.kif 16721-16722
(subclass PoliceOrganization GovernmentOrganization) Merge.kif 16720-16720 Police organization is a subclass of government organization

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


(instance USCustomsAndBorderProtection PoliceOrganization) Government.kif 4807-4807 US customs and border protection is an instance of police organization
(termFormat ChineseLanguage PoliceOrganization "警察组织") domainEnglishFormat.kif 46422-46422
(termFormat ChineseTraditionalLanguage PoliceOrganization "警察組織") domainEnglishFormat.kif 46421-46421
(termFormat EnglishLanguage PoliceOrganization "police organization") domainEnglishFormat.kif 46420-46420

consequent
-------------------------


(=>
    (and
        (instance ?L LawEnforcement)
        (agent ?L ?P))
    (or
        (instance ?P PoliceOrganization)
        (exists (?O)
            (and
                (instance ?O PoliceOrganization)
                (member ?P ?O)))))
Mid-level-ontology.kif 13909-13918


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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