| PoliceOfficer(police officer)
| | bailiff, constable, desk_sergeant, deskman, flatfoot, inspector, lieutenant, motorcycle_cop, motorcycle_policeman, officer, patrolman, police_constable, police_lieutenant, police_officer, policeman, redcap, speed_cop, station_keeper |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20926-20927 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6776-6776 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4796-4796 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7589-7589 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7590-7590 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | Police officer is an instance of government position |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20924-20924 | Police officer is an instance of skilled occupation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20945-20945 | Deputy is a subattribute of police officer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20941-20941 | Marshal is a subattribute of police officer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20932-20932 | Police captain is a subattribute of police officer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20955-20955 | Police detective is a subattribute of police officer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20935-20935 | Police sergeant is a subattribute of police officer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20938-20938 | Sheriff is a subattribute of police officer |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46416-46416 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46415-46415 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46414-46414 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20928-20930 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Law.kif 235-237 |
|
|
|
|