TreeView Knowledge Base Browser

appearance as argument number 1

(documentation arrestingOfficer EnglishLanguage "The PoliceOfficer who is PlacingUnderArrest the arrested individual.")	Law.kif 272-273
(domain arrestingOfficer 1 PlacingUnderArrest)	Law.kif 268-268
(instance arrestingOfficer CaseRole)	Law.kif 266-266
(subrelation arrestingOfficer agent)	Law.kif 267-267

appearance as argument number 2

(format EnglishLanguage arrestingOfficer "%2 is the arresting officer in %1")	Law.kif 270-270
(termFormat EnglishLanguage arrestingOfficer "arresting officer")	Law.kif 269-269

antecedent

(=>
(arrestingOfficer ?EV ?O)
(attribute ?O PoliceOfficer))

Law.kif 275-277