Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LawEnforcement
LawEnforcement(law enforcement)
more pictures...		law_enforcement

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


(subclass LawEnforcement PoliticalProcess) Mid-level-ontology.kif 15503-15503 Law enforcement is a subclass of political process
(subclass LawEnforcement RegulatoryProcess) Mid-level-ontology.kif 15504-15504 Law enforcement is a subclass of regulatory process
(documentation LawEnforcement EnglishLanguage "Any RegulatoryProcess where the agent is either a PoliceOrganization or a member of a PoliceOrganization. This covers everything from issuing a traffic ticket to arresting someone on suspicion of having committed a Murder.") Mid-level-ontology.kif 15505-15508 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Carabinieri.motorcycle.in.rome.arp.jpg") pictureList.kif 6663-6663 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Mounted_policeman_in_Oslo_%28Norway%29.jpg") pictureList.kif 7165-7165 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ US_Customs_and_Border_Protection_officers.jpg") pictureList.kif 7166-7166 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Police_antiemeute_p1000485.jpg") pictureList.kif 7167-7167 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Ploizeiautos_Davidwache.jpg") pictureList.kif 7168-7168 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ NZHighway_patrol.jpg") pictureList.kif 7170-7170 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Brazilian_Federal_Highway_Police.jpg") pictureList.kif 7171-7171 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Police_Poland_1_AB.jpg") pictureList.kif 7172-7172 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Vehicle_drug_search_australia.jpg") pictureList.kif 7173-7173 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 1/ 10/ Nash_Bearcat.JPG") pictureList.kif 7175-7175 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 3/ 30/ NYPDBrooklynBridge.jpg") pictureList.kif 7176-7176 Law enforcement is a subclass of regulatory process
(externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 5/ 5d/ RUC_PSNI_Dungiven.JPG") pictureList.kif 7178-7178 Law enforcement is a subclass of regulatory process

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


(subclass PlacingUnderArrest LawEnforcement) Mid-level-ontology.kif 25783-25783 Placing under arrest is a subclass of law enforcement
(termFormat EnglishLanguage LawEnforcement "law enforcement") domainEnglishFormat.kif 33547-33547 Placing under arrest is a subclass of law enforcement
(termFormat ChineseTraditionalLanguage LawEnforcement "執法") domainEnglishFormat.kif 33548-33548 Placing under arrest is a subclass of law enforcement
(termFormat ChineseLanguage LawEnforcement "执法") domainEnglishFormat.kif 33549-33549 Placing under arrest is a subclass of law enforcement

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


(=>
    (and
        (instance ?L LawEnforcement)
        (agent ?L ?P))
    (or
        (instance ?P PoliceOrganization)
        (exists (?O)
            (and
                (instance ?O PoliceOrganization)
                (member ?P ?O)))))		 Mid-level-ontology.kif 15510-15519 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

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


(=>
    (attribute ?A SecurityOfficer)
    (hasPurpose ?A
        (exists (?LE)
            (and
                (instance ?LE LawEnforcement)
                (agent ?LE ?A)))))		 MilitaryPersons.kif 769-775 If security officer is an attribute of X, then X has the purpose there exists Y such that Y is an instance of law enforcement and X is an agent of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners