No TPTP formula. May not be expressible in strict first order. |
Law.kif 213-217 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 209-209 |
O argumento numero 1 de witness e' uma instancia de Acao Legal |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 207-207 |
witness e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 208-208 |
witness e' uma sub-relacao de patient |