No TPTP formula. May not be expressible in strict first order. |
Government.kif 4535-4540 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4621-4629 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4644-4646 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4692-4694 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4557-4563 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4565-4571 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4573-4580 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4531-4533 |
|