more pictures...
| LawEnforcement(law enforcement)
more pictures... | | law_enforcement |
| 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 14832-14835 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 1/ 15/ Carabinieri.motorcycle.in.rome.arp.jpg") | pictureList.kif 6663-6663 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Mounted_policeman_in_Oslo_%28Norway%29.jpg") | pictureList.kif 7165-7165 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ US_Customs_and_Border_Protection_officers.jpg") | pictureList.kif 7166-7166 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 6/ 64/ Police_antiemeute_p1000485.jpg") | pictureList.kif 7167-7167 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ 7/ 72/ Ploizeiautos_Davidwache.jpg") | pictureList.kif 7168-7168 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ a/ a6/ NZHighway_patrol.jpg") | pictureList.kif 7170-7170 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Brazilian_Federal_Highway_Police.jpg") | pictureList.kif 7171-7171 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Police_Poland_1_AB.jpg") | pictureList.kif 7172-7172 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/commons/ f/ fb/ Vehicle_drug_search_australia.jpg") | pictureList.kif 7173-7173 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 1/ 10/ Nash_Bearcat.JPG") | pictureList.kif 7175-7175 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 3/ 30/ NYPDBrooklynBridge.jpg") | pictureList.kif 7176-7176 | |
| (externalImage LawEnforcement "http://upload.wikimedia.org/wikipedia/en/ 5/ 5d/ RUC_PSNI_Dungiven.JPG") | pictureList.kif 7178-7178 | |
| (subclass LawEnforcement PoliticalProcess) | Mid-level-ontology.kif 14830-14830 | Law enforcement is a subclass of political process |
| (subclass LawEnforcement RegulatoryProcess) | Mid-level-ontology.kif 14831-14831 | Law enforcement is a subclass of regulatory process |
| appearance as argument number 2 |
|
|
| (subclass PlacingUnderArrest LawEnforcement) | Mid-level-ontology.kif 24579-24579 | Placing under arrest is a subclass of law enforcement |
| (termFormat ChineseLanguage LawEnforcement "执法") | domainEnglishFormat.kif 33573-33573 | Placing under arrest is a subclass of law enforcement |
| (termFormat ChineseTraditionalLanguage LawEnforcement "執法") | domainEnglishFormat.kif 33572-33572 | Placing under arrest is a subclass of law enforcement |
| (termFormat EnglishLanguage LawEnforcement "law enforcement") | domainEnglishFormat.kif 33571-33571 | 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 14837-14846 |
|
| consequent |
|
|
| (=> (attribute ?A SecurityOfficer) (hasPurpose ?A (exists (?LE) (and (instance ?LE LawEnforcement) (agent ?LE ?A))))) |
MilitaryPersons.kif 766-772 |
|
|
|
|