TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 263-264
No TPTP formula. May not be expressible in strict first order.	Law.kif 259-259	The number 1 argument of victim is an instance of criminal action
No TPTP formula. May not be expressible in strict first order.	Law.kif 257-257	victim is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 258-258	victim is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 261-261
No TPTP formula. May not be expressible in strict first order.	Law.kif 260-260

antecedent

No TPTP formula. May not be expressible in strict first order.

Law.kif 266-268