No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1522-1530 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1370-1377 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1597-1603 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1419-1425 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1316-1323 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1254-1261 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1533-1541 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1474-1476 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1478-1480 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1452-1454 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1464-1466 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1460-1462 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1456-1458 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1489-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1493-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1341-1343 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1566-1573 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1379-1386 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1409-1416 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1285-1298 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1325-1332 |
|