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 20954-20955
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 01/ SA_police_force.jpg") pictureList.kif 6776-6776
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Policeman.jpg") pictureList.kif 4796-4796
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ Motor-officer.jpg") pictureList.kif 7589-7589
(externalImage PoliceOfficer "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Mounted_police_in_Turku.jpg") pictureList.kif 7590-7590
(instance PoliceOfficer GovernmentPosition) Mid-level-ontology.kif 20953-20953
(instance PoliceOfficer SkilledOccupation) Mid-level-ontology.kif 20952-20952

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


(subAttribute Deputy PoliceOfficer) Mid-level-ontology.kif 20973-20973
(subAttribute Marshal PoliceOfficer) Mid-level-ontology.kif 20969-20969
(subAttribute PoliceCaptain PoliceOfficer) Mid-level-ontology.kif 20960-20960
(subAttribute PoliceDetective PoliceOfficer) Mid-level-ontology.kif 20983-20983
(subAttribute PoliceSergeant PoliceOfficer) Mid-level-ontology.kif 20963-20963
(subAttribute Sheriff PoliceOfficer) Mid-level-ontology.kif 20966-20966
(termFormat ChineseLanguage PoliceOfficer "警官") domainEnglishFormat.kif 46418-46418
(termFormat ChineseTraditionalLanguage PoliceOfficer "警官") domainEnglishFormat.kif 46417-46417
(termFormat EnglishLanguage PoliceOfficer "police officer") domainEnglishFormat.kif 46416-46416

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


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

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


(=>
    (arrestingOfficer ?EV ?O)
    (attribute ?O PoliceOfficer))
Law.kif 235-237


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