No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2374-2376 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2400-2402 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2404-2406 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2410-2412 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2414-2416 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2333-2335 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2318-2320 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2389-2391 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2385-2387 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2328-2330 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2311-2313 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2367-2369 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2355-2357 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2428-2430 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2347-2349 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2019-2024 |
|