No TPTP formula. May not be expressible in strict first order. |
Food.kif 1310-1320 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1279-1283 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1269-1278 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1343-1347 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1349-1358 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1393-1397 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1423-1427 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1429-1439 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 770-781 |
|