No TPTP formula. May not be expressible in strict first order. |
Government.kif 4486-4490 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4511-4519 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4470-4478 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4504-4509 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4492-4496 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4480-4484 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4498-4502 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4531-4533 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4683-4685 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4603-4605 |
|