TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 256-260
No TPTP formula. May not be expressible in strict first order.	Law.kif 252-252	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 250-250	witness is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Law.kif 251-251	witness is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 254-254
No TPTP formula. May not be expressible in strict first order.	Law.kif 253-253

antecedent

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

Law.kif 262-267