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 |
O argumento numero 1 de evidence e' uma instancia de Acao Legal |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 178-178 |
O argumento numero 2 de evidence e' uma instancia de Fisico |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 169-169 |
evidence e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 168-168 |
evidence e' uma sub-relacao de patient |