TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 173-175
No TPTP formula. May not be expressible in strict first order.	Law.kif 177-177	域 evidence, 1 and LegalAction
No TPTP formula. May not be expressible in strict first order.	Law.kif 178-178	域 evidence, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Law.kif 169-169	例 evidence and CaseRole
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-168	子關係 evidence and 患者

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 171-171
No TPTP formula. May not be expressible in strict first order.	Law.kif 170-170

antecedent

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

Law.kif 180-188

consequent

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

Law.kif 219-224