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 |
The number 1 argument of trusts is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 357-357 |
The number 2 argument of trusts is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 358-358 |
The number 3 argument of trusts is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 355-355 |
trusts is an instance of ternary predicate |