counselInCase |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Law.kif 451-452 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 457-457 | The number 1 argument of counsel in case is an instance of human |
No TPTP formula. May not be expressible in strict first order. | Law.kif 458-458 | The number 2 argument of counsel in case is an instance of agent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 459-459 | The number 3 argument of counsel in case is an instance of legal action |
No TPTP formula. May not be expressible in strict first order. | Law.kif 456-456 | counsel in case is an instance of ternary predicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Law.kif 454-454 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 453-453 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Law.kif 460-462 | |
No TPTP formula. May not be expressible in strict first order. | Law.kif 464-471 |
|