No TPTP formula. May not be expressible in strict first order. |
Law.kif 362-364 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 356-356 |
Le nombre 1 argument de trusts est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 357-357 |
Le nombre 2 argument de trusts est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 358-358 |
Le nombre 3 argument de trusts est une sous-classe de processus intentionnel |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 355-355 |
trusts est une instance de pr�dicat ternaire |