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 |
ε permits, 1 and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 22-22 |
ε permits, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. |
Law.kif 20-20 |
δΎ permits and BinaryPredicate |