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 20927-20928 | |
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 20926-20926 | Police officer is an instance of government position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20925-20925 | 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 20946-20946 | Deputy is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20942-20942 | Marshal is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20933-20933 | Police captain is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20956-20956 | Police detective is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20936-20936 | Police sergeant is a subattribute of police officer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20939-20939 | 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 20929-20931 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 235-237 |
|