TreeView Knowledge Base Browser

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

KB Term:			Term intersection

English Word: