TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 213-217
No TPTP formula. May not be expressible in strict first order.	Law.kif 209-209	The number 1 argument of witness is an instance of legal action
No TPTP formula. May not be expressible in strict first order.	Law.kif 207-207	witness is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 208-208	witness is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 211-211
No TPTP formula. May not be expressible in strict first order.	Law.kif 210-210

antecedent

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

Law.kif 219-224