TreeView Knowledge Base Browser

appearance as argument number 1

(documentation victim EnglishLanguage "The one who is the object of a CriminalAction and suffers its results.")	Law.kif 263-264
(domain victim 1 CriminalAction)	Law.kif 259-259	The number 1 argument of victim is an instance of criminal action
(instance victim CaseRole)	Law.kif 257-257	victim is an instance of case role
(subrelation victim patient)	Law.kif 258-258	victim is a subrelation of patient

appearance as argument number 2

(format EnglishLanguage victim "%2 is the victim in %1")	Law.kif 261-261
(termFormat EnglishLanguage victim "victim")	Law.kif 260-260

antecedent

(=>
(victim ?P ?V)
(suffers ?P ?V))

Law.kif 266-268