|
|
   LawEnforcement
|
|
|
| appearance as argument number 1 |
|
|
| (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 13904-13907 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Carabinieri.motorcycle.in.rome.arp.jpg") | pictureList.kif 6664-6664 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Mounted_policeman_in_Oslo_%28Norway%29.jpg") | pictureList.kif 7166-7166 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ US_Customs_and_Border_Protection_officers.jpg") | pictureList.kif 7167-7167 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Police-antiemeute-p1000485.jpg") | pictureList.kif 7168-7168 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Ploizeiautos_Davidwache.jpg") | pictureList.kif 7169-7169 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ NZHighway_patrol.jpg") | pictureList.kif 7171-7171 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Brazilian_Federal_Highway_Police.jpg") | pictureList.kif 7172-7172 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Police_Poland_1_AB.jpg") | pictureList.kif 7173-7173 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Vehicle_drug_search_australia.jpg") | pictureList.kif 7174-7174 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 1/ 10/ Nash_Bearcat.JPG") | pictureList.kif 7176-7176 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 3/ 30/ NYPDBrooklynBridge.jpg") | pictureList.kif 7177-7177 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 5/ 5d/ RUC_PSNI_Dungiven.JPG") | pictureList.kif 7179-7179 | |
| (subclass LawEnforcement PoliticalProcess) | Mid-level-ontology.kif 13902-13902 | Law enforcement is a subclass of political process |
| (subclass LawEnforcement RegulatoryProcess) | Mid-level-ontology.kif 13903-13903 | Law enforcement is a subclass of regulatory process |
| appearance as argument number 2 |
|
|
| (subclass PlacingUnderArrest LawEnforcement) | Mid-level-ontology.kif 23465-23465 | Placing under arrest is a subclass of law enforcement |
| (termFormat ChineseLanguage LawEnforcement "执法") | domainEnglishFormat.kif 33545-33545 | |
| (termFormat ChineseTraditionalLanguage LawEnforcement "執法") | domainEnglishFormat.kif 33544-33544 | |
| (termFormat EnglishLanguage LawEnforcement "law enforcement") | domainEnglishFormat.kif 33543-33543 |
| 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 13909-13918 |
|
| consequent |
|
|
| (=> (attribute ?A SecurityOfficer) (hasPurpose ?A (exists (?LE) (and (instance ?LE LawEnforcement) (agent ?LE ?A))))) |
MilitaryPersons.kif 754-760 |
|
|
|
|
