![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?P PoliceOfficer) (hasSkill PlacingUnderArrest ?P)) |
Mid-level-ontology.kif 23171-23173 | If police officer is an attribute of X, then X has the skill to do placing under arrest |
| consequent |
|
|
| (=> (arrestingOfficer ?EV ?O) (attribute ?O PoliceOfficer)) |
Law.kif 237-239 | If X is the arresting officer in Y, then police officer is an attribute of X |