TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 306-307
No TPTP formula. May not be expressible in strict first order.	Law.kif 302-302	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 300-300	victim is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 301-301	victim is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 304-304
No TPTP formula. May not be expressible in strict first order.	Law.kif 303-303

antecedent

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

Law.kif 309-311