No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2839-2852 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2879-2889 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2891-2901 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2832-2837 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6158-6164 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2872-2877 |
|