No TPTP formula. May not be expressible in strict first order. |
Government.kif 352-357 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 345-350 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 256-264 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 242-246 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 223-234 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 142-146 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 881-885 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 870-877 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 136-140 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 332-334 |
|