No TPTP formula. May not be expressible in strict first order. |
Law.kif 26-35 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 21-21 |
The number 1 argument of permits is an instance of agent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 22-22 |
The number 2 argument of permits is an instance of formula |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 20-20 |
permits is an instance of binary predicate |