No TPTP formula. May not be expressible in strict first order. |
Law.kif 286-289 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 282-282 |
O argumento numero 1 de defenseLawyer e' uma instancia de Acao Legal |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 280-280 |
defenseLawyer e' uma instancia de Role em Caso |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 281-281 |
defenseLawyer e' uma sub-relacao de patient |