No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2550-2552 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2578-2580 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2582-2584 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2588-2590 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2592-2594 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2508-2510 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2493-2495 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2565-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2561-2563 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2503-2505 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2486-2488 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2543-2545 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2531-2533 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2606-2608 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2523-2525 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2159-2164 |
|