No TPTP formula. May not be expressible in strict first order. |
Law.kif 373-377 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 367-367 |
域 distrusts, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 368-368 |
域 distrusts, 2 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 369-369 |
域子類 distrusts, 3 and IntentionalProcess |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 366-366 |
例 distrusts and TernaryPredicate |