No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5051-5056 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2906-2914 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4693-4699 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4715-4721 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5338-5343 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5032-5036 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5306-5311 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5326-5333 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5284-5291 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4166-4172 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5358-5363 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5388-5393 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2876-2882 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5316-5321 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5348-5353 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5461-5466 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5368-5373 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5296-5301 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5378-5383 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5409-5416 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5431-5436 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4945-4950 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5041-5046 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5421-5426 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5441-5446 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5451-5456 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5235-5244 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4532-4543 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5398-5403 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4629-4634 |
|