evidence |
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 |