No TPTP formula. May not be expressible in strict first order. |
Law.kif 87-95 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 81-81 |
Le nombre 1 argument de rewards est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 82-82 |
Le nombre 2 argument de rewards est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 80-80 |
rewards est une instance de pr�dicat binaire |