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 |
域 counselInCase, 1 and Human |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 458-458 |
域 counselInCase, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 459-459 |
域 counselInCase, 3 and LegalAction |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 456-456 |
例 counselInCase and TernaryPredicate |