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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PoliceOfficer
PoliceOfficer

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


(documentation PoliceOfficer EnglishLanguage "The profession of being a police officer, i.e. working for a law enforcement agency that is part of a Government.") Mid-level-ontology.kif 20099-20100
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ SA_police_force.jpg") pictureList.kif 6777-6777
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Policeman.jpg") pictureList.kif 4797-4797
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Motor-officer.jpg") pictureList.kif 7590-7590
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Mounted_police_in_Turku.jpg") pictureList.kif 7591-7591
(instance PoliceOfficer GovernmentPosition) Mid-level-ontology.kif 20098-20098
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20097-20097

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


(subAttribute Deputy PoliceOfficer) Mid-level-ontology.kif 20118-20118
(subAttribute Marshal PoliceOfficer) Mid-level-ontology.kif 20114-20114
(subAttribute PoliceCaptain PoliceOfficer) Mid-level-ontology.kif 20105-20105
(subAttribute PoliceDetective PoliceOfficer) Mid-level-ontology.kif 20128-20128
(subAttribute PoliceSergeant PoliceOfficer) Mid-level-ontology.kif 20108-20108
(subAttribute Sheriff PoliceOfficer) Mid-level-ontology.kif 20111-20111
(termFormat ChineseLanguage PoliceOfficer "警官") domainEnglishFormat.kif 46399-46399
(termFormat ChineseTraditionalLanguage PoliceOfficer "警官") domainEnglishFormat.kif 46398-46398
(termFormat EnglishLanguage PoliceOfficer "police officer") domainEnglishFormat.kif 46397-46397

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


(=>
    (attribute ?P PoliceOfficer)
    (hasSkill PlacingUnderArrest ?P))
Mid-level-ontology.kif 20101-20103

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


(=>
    (arrestingOfficer ?EV ?O)
    (attribute ?O PoliceOfficer))
Law.kif 278-280


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 is open source software produced by Articulate Software and its partners