No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2380-2382 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2406-2408 |
|
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 2416-2418 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2420-2422 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2339-2341 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2324-2326 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2395-2397 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2391-2393 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2334-2336 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2317-2319 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2373-2375 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2361-2363 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2434-2436 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2353-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2019-2024 |
|