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 数量是法律诉讼的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 178-178	evidence 的 2 数量是物理的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 169-169	evidence 是格角色的 instance
No TPTP formula. May not be expressible in strict first order.	Law.kif 168-168	evidence 是受事的 subrelation

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