No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2806-2819 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2846-2856 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2858-2868 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2799-2804 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6157-6163 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2839-2844 |
|