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. |
Economy.kif 5398-5403 |
|
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 3970-3985 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3911-3926 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3879-3894 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6425-6434 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4265-4269 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4223-4227 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4277-4281 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4239-4243 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4214-4218 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4825-4829 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4839-4843 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2936-2938 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 645-647 |
|