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 |
O argumento numero 1 de trusts e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 357-357 |
O argumento numero 2 de trusts e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 358-358 |
O argumento numero 3 de trusts e' uma sub-classe de Processo Intencional |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 355-355 |
trusts e' uma instancia de Predicado Ternario |