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 |