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 |
域 trusts, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 357-357 |
域 trusts, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 358-358 |
域子類 trusts, 3 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 355-355 |
例 trusts and TernaryPredicate |