initialPart |
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 |